|
|
|---|
|
|
|
|---|
Check if an expression has a formal dynamic semantics.
The expressions not supported by ldm-expr are not supported here either. The remaining expressions are supported or not according to c::exec-expr and the specialized functions it calls (e.g. c::exec-arrsub).