val core_builtins : API.BuiltIn.declaration listval io_builtins : API.BuiltIn.declaration listval lp_builtins : API.BuiltIn.declaration listval elpi_builtins : API.BuiltIn.declaration listval elpi_nonlogical_builtins : API.BuiltIn.declaration listval elpi_stdlib : API.BuiltIn.declaration listval elpi_map : API.BuiltIn.declaration listval elpi_set : API.BuiltIn.declaration listval ocaml_runtime : API.BuiltIn.declaration listval ocaml_map :
name:string ->
'a API.Conversion.t ->
(module API.Utils.Map.S with type key = 'a) ->
API.BuiltIn.declaration listEasy export of OCaml's Map/Set modules, use as follows: module StrMap = API.Utils.Map.Make(String) ocaml_map ~name:"strmap" BuiltInData.string (module StrMap)
val ocaml_set :
name:string ->
'a API.Conversion.t ->
(module API.Utils.Set.S with type elt = 'a and type t = 'b) ->
API.BuiltIn.declaration listval ocaml_set_conv :
name:string ->
'a API.Conversion.t ->
(module API.Utils.Set.S with type elt = 'a and type t = 'b) ->
'b API.Conversion.t * API.BuiltIn.declaration listval int_set : API.Utils.IntSet.t API.Conversion.tval string_set : API.Compile.StrSet.t API.Conversion.tval loc_set : API.Utils.LocSet.t API.Conversion.tval std_declarations : API.BuiltIn.declaration listval std_builtins : API.Setup.builtinsval pair :
'a API.Conversion.t ->
'b API.Conversion.t ->
('a * 'b) API.Conversion.tval option : 'a API.Conversion.t -> 'a option API.Conversion.tval bool : bool API.Conversion.tval diagnostic : diagnostic API.Conversion.tval mkOK : diagnosticval mkERROR : string -> diagnosticval unspec : 'a API.Conversion.t -> 'a unspec API.Conversion.tval unspecC :
('a, 'b, 'c) API.ContextualConversion.t ->
('a unspec, 'b, 'c) API.ContextualConversion.tval in_stream : (Stdlib.in_channel * string) API.Conversion.tval out_stream : (Stdlib.out_channel * string) API.Conversion.t