val init :
?flags:flags ->
?state:state_descriptor ->
?quotations:quotations_descriptor ->
?hoas:hoas_descriptor ->
?calc:calc_descriptor ->
builtins:builtins list ->
?file_resolver:(?cwd:string -> unit:string -> unit -> string) ->
?legacy_parser:bool ->
unit ->
elpiInitialize ELPI.
init must be called before invoking the parser.
for the compiler, see Compile.flags
the set of built-in predicates, eg Elpi.Builtin.std_builtins
maps a file name to an absolute path, if not specified the options like -I or the env variable TJPATH serve as resolver. The resolver returns the abslute file name (possibly adjusting the unit extension). By default it fails. See also Parse.std_resolver.
a handle elpi to an elpi instance equipped with the given builtins and where accumulate resolves files with the given file_resolver.
Set tracing options. trace argv can be called before Execute. returns options not known to the trace system.
val set_warn : (?loc:Ast.Loc.t -> string -> unit) -> unitOverride default runtime error functions (they call exit)
val set_error : (?loc:Ast.Loc.t -> string -> 'a) -> unitval set_anomaly : (?loc:Ast.Loc.t -> string -> 'a) -> unitval set_type_error : (?loc:Ast.Loc.t -> string -> 'a) -> unit