package lambdapi

  1. Overview
  2. Docs

Printing functions.

val ignore : 'a Lplib.Base.pp
val log_and_return : ('a -> 'b) -> 'a -> 'a
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:(Stdlib.Format.formatter -> unit -> unit) -> (('a -> 'b) -> 'c -> 'd) -> (Stdlib.Format.formatter -> 'a -> 'b) -> Stdlib.Format.formatter -> 'c -> 'd
val surround : string -> string -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a -> unit
val bracket : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a -> unit
OCaml

Innovation. Community. Security.