package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.9.2.tbz
sha256=69a803469d7029fcfb94ea4cedf39ecd7f13af90e59f69e7f5c89674f57077c1
sha512=3bfd45f22baa821ef3de360232691961fe77712e87980b32eca5647a961f75bf07b331ecb90b64d5d28fcb4e50e91cd3d91b72b31627cb2562d08a17668d15ed
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