lambdapi
Proof assistant for the λΠ-calculus modulo rewriting
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package lambdapi
-
lambdapi.tool
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type 'a pp = Format.formatter -> 'a -> unit
Type of pretty-printing functions.
type 'a outfmt = ( 'a, Format.formatter, unit ) format
Short name for a standard formatter.
type ('a, 'b) koutfmt = ( 'a, Format.formatter, unit, unit, unit, 'b ) format6
Short name for a standard formatter with continuation.
val out : Format.formatter -> ( 'a, Format.formatter, unit ) format -> 'a
val int : int pp
val string : string pp
val sep : string -> unit pp
val cmp_tag : 'a cmp
Tag comparison function.
module Int : sig ... end
ON THIS PAGE
No table of contents