elpi.runtime
Discrimination_tree.Internal
elpi
elpi.compiler
elpi.lexer_config
elpi.parser
elpi.trace
elpi.util
trace_ppx
trace_ppx_runtime
val kConstant : int
val kPrimitive : int
val kVariable : int
val kOther : int
val k_of : cell -> int
val arity_of : cell -> int
val data_of : cell -> int
val isVariable : cell -> bool
val isAny : cell -> bool
val isInput : cell -> bool
val isOutput : cell -> bool
val isListHead : cell -> bool
val isListNil : cell -> bool
val isListEnd : cell -> bool
val isListTailVariable : cell -> bool
val isListTailVariableUnif : cell -> bool
val isPathEnd : cell -> bool
val isUvarConstant : cell -> bool