AnyDSL

AnyDSL

Cast Expression


Contents


Syntax

cast_expr ::=

Typing

Semantics

Examples

TODO