elpi.parser
Make.C
elpi
elpi.compiler
elpi.lexer_config
elpi.runtime
elpi.trace
elpi.util
trace_ppx
trace_ppx_runtime
val versions : (int * int * int) Elpi_util.Util.StrMap.t
val resolver : ?cwd:string -> unit:string -> unit -> string