package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
val ignore : 'a Lplib.Base.pp
val log_and_return : ( 'a -> 'b ) -> 'c -> 'd
val log_and_raise : ( exn -> 'a ) -> exn -> 'b
val depth : int Lplib.Base.pp
val bool : bool Lplib.Base.pp
val int : int Lplib.Base.pp
val string : string Lplib.Base.pp
val option : 'a Lplib.Base.pp -> 'a option Lplib.Base.pp
val pair : 'a Lplib.Base.pp -> 'b Lplib.Base.pp -> ('a * 'b) Lplib.Base.pp
val list : 'a Lplib.Base.pp -> 'a list Lplib.Base.pp
val array : 'a Lplib.Base.pp -> 'a array Lplib.Base.pp
val map : ( ( 'key -> 'elt -> unit ) -> 'map -> unit ) -> 'key Lplib.Base.pp -> string -> 'elt Lplib.Base.pp -> string -> 'map Lplib.Base.pp
val iter : ?sep:( Format.formatter -> unit -> unit ) -> ( ( 'a -> 'b ) -> 'c -> 'd ) -> ( Format.formatter -> 'e -> 'f ) -> Format.formatter -> 'g -> 'h
val surround : string -> string -> ( Format.formatter -> 'a -> unit ) -> Format.formatter -> 'b -> unit
val bracket : ( Format.formatter -> 'a -> unit ) -> Format.formatter -> 'a -> unit