elpi.compiler
Elpi_compiler.Spilling
elpi
elpi.lexer_config
elpi.parser
elpi.runtime
elpi.trace
elpi.util
trace_ppx
trace_ppx_runtime
val main : type_abbrevs:Compiler_data.TypeAssignment.type_abbrevs -> types:Compiler_data.TypingEnv.t -> Compiler_data.ScopedTerm.t -> Compiler_data.ScopedTerm.t