elpi.runtime
Discrimination_tree.Path
elpi
elpi.compiler
elpi.lexer_config
elpi.parser
elpi.trace
elpi.util
trace_ppx
trace_ppx_runtime
type t
val pp : Format.formatter -> t -> unit
val get : t -> int -> cell
type builder
val get_builder_pos : builder -> int
val make : int -> cell -> builder
val emit : builder -> cell -> unit
val stop : builder -> t
val of_list : cell list -> t