package elpi

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception No_clause

type name = string

type doc = string

type 'a oarg =

type 'a ioarg =

type ('function_type, 'inernal_outtype_in) ffi =

| In : 't Conversion.t * doc * ('i, 'o) ffi -> ('t -> 'i, 'o) ffi
| Out : 't Conversion.t * doc * ('i, 'o * 't option) ffi -> ('t oarg -> 'i, 'o) ffi
| InOut : 't Conversion.t * doc * ('i, 'o * 't option) ffi -> ('t ioarg -> 'i, 'o) ffi
| Easy : doc -> (depth:int -> 'o, 'o) ffi
| Read : doc -> (depth:int -> Data.hyps -> Data.constraints -> Data.state -> 'o, 'o) ffi
| Full : doc -> (depth:int -> Data.hyps -> Data.constraints -> Data.state -> Data.state * 'o, 'o) ffi
| VariadicIn : 't Conversion.t * doc -> ('t list -> depth:int -> Data.hyps -> Data.constraints -> Data.state -> Data.state * 'o, 'o) ffi
| VariadicOut : 't Conversion.t * doc -> ('t oarg list -> depth:int -> Data.hyps -> Data.constraints -> Data.state -> Data.state * ('o * 't option list option), 'o) ffi
| VariadicInOut : 't Conversion.t * doc -> ('t ioarg list -> depth:int -> Data.hyps -> Data.constraints -> Data.state -> Data.state * ('o * 't option list option), 'o) ffi

type t =

module Notation : sig ... end