package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

Standard library extension (mostly).

type 'a pp = Stdlib.Format.formatter -> 'a -> unit

Type of pretty-printing functions.

type 'a outfmt = ('a, Stdlib.Format.formatter, unit) Stdlib.format

Short name for a standard formatter.

type ('a, 'b) koutfmt =
  ('a, Stdlib.Format.formatter, unit, unit, unit, 'b) Stdlib.format6

Short name for a standard formatter with continuation.

val out : 
  Stdlib.Format.formatter ->
  ('a, Stdlib.Format.formatter, unit) Stdlib.format ->
  'a

val (++) : 'a pp -> 'b pp -> ('a * 'b) pp

val (|+) : unit pp -> 'a pp -> 'a pp

val (+|) : 'a pp -> unit pp -> 'a pp

val int : int pp

val string : string pp

val unit : unit outfmt -> unit pp

val sep : string -> unit pp

val pp_if : bool -> 'a pp -> 'a pp

val prefix : string -> 'a pp -> 'a pp

val suffix : 'a pp -> string -> 'a pp

type 'a cmp = 'a -> 'a -> int

Type of comparison functions.

val cmp_map : 'b cmp -> ('a -> 'b) -> 'a cmp

Comparison function through a map.

val cmp_tag : 'a cmp

Tag comparison function.

val lex : 'a cmp -> 'b cmp -> ('a * 'b) cmp

Lexicographic comparison.

val lex3 : 'a cmp -> 'b cmp -> 'c cmp -> ('a * 'b * 'c) cmp

type 'a eq = 'a -> 'a -> bool

Type of equality functions.

val eq_of_cmp : 'a cmp -> 'a eq

module Int : sig ... end