package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.9.1.tbz
sha256=d94731d09bacba434bb92e74efa365c98e58c1f0cfc6bba87a02af073cc2eda9
sha512=627ca2aab0113ddf7880e0803a1c6f7fc40d5e3a2f1139b0c49abe87bad752c8f93f65cd83399f47f8587269a461ac12d5ee824df4bea8183bf06b1af61db22e
doc/elpi.runtime/Elpi_runtime/Data/BuiltInPredicate/PPX/index.html
Module BuiltInPredicate.PPXSource
Source
type ('function_type, 'inernal_outtype_in, 'internal_hyps, 'internal_constraints)
ffi =
| In : ('t, 'h, 'c) ContextualConversion.t * doc * ('i, 'o, 'h, 'c) ffi -> ('t -> 'i, 'o, 'h, 'c) ffi| Out : ('t, 'h, 'c) ContextualConversion.t * doc * ('i, 'o * 't option, 'h, 'c) ffi -> ('t oarg -> 'i, 'o, 'h, 'c) ffi| InOut : ('t ioarg, 'h, 'c) ContextualConversion.t * doc * ('i, 'o * 't option, 'h, 'c) ffi -> ('t ioarg -> 'i, 'o, 'h, 'c) ffi| Easy : doc -> (depth:int -> 'h -> 'c -> 'o, 'o, 'h, 'c) ffi| Read : doc -> (depth:int -> 'h -> 'c -> State.t -> 'o, 'o, 'h, 'c) ffi| Full : doc -> (depth:int -> 'h -> 'c -> State.t -> State.t * 'o * Conversion.extra_goals, 'o, 'h, 'c) ffi| FullHO : doc -> (once:(depth:int -> term -> State.t -> State.t) -> depth:int -> 'h -> 'c -> State.t -> State.t * 'o * Conversion.extra_goals, 'o, 'h, 'c) ffi| VariadicIn : ('t, 'h, 'c) ContextualConversion.t * doc -> ('t list -> depth:int -> 'h -> 'c -> State.t -> State.t * 'o * Conversion.extra_goals, 'o, 'h, 'c) ffi| VariadicOut : ('t, 'h, 'c) ContextualConversion.t * doc -> ('t oarg list -> depth:int -> 'h -> 'c -> State.t -> State.t * ('o * 't option list option) * Conversion.extra_goals, 'o, 'h, 'c) ffi| VariadicInOut : ('t ioarg, 'h, 'c) ContextualConversion.t * doc -> ('t ioarg list -> depth:int -> 'h -> 'c -> State.t -> State.t * ('o * 't option list option) * Conversion.extra_goals, 'o, 'h, 'c) ffi