grabapl_template_semantics

A library that implements a custom grabapl semantics (type system, builtin operations, and queries).

See the documentation for more details.

See grabapl_template_ffi for an FFI interface to this semantics.