elpi.compiler
Elpi_compiler.Determinacy_checker
elpi
elpi.lexer_config
elpi.parser
elpi.runtime
elpi.trace
elpi.util
trace_ppx
trace_ppx_runtime
val check_clause : type_abbrevs:Type_checker.type_abbrevs -> types:Compiler_data.TypingEnv.t -> unknown:Type_checker.env_undeclared -> Compiler_data.ScopedTerm.t -> unit