Module Ast.SemanticSource

Semantics

Semantics are named sub-trees of the abstraction. They can be used to route commands (exec/eval) to specific parts of the abstraction.

Sourcetype semantic = string
Sourceval compare_semantic : semantic -> semantic -> int
Sourceval pp_semantic : Stdlib.Format.formatter -> semantic -> unit
Sourceval any_semantic : semantic
Sourceval is_any_semantic : semantic -> bool