package lambdapi

  1. Overview
  2. Docs

Printing functions.

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
OCaml

Innovation. Community. Security.