package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val true_ : t
val false_ : t
val eq : t
val neq : t
val exists : t
val forall : t
val imply : t
val equiv : t
val xor : t
val lambda : t
val not_ : t
val and_ : t
val or_ : t
val forall_ty : t
val arrow : t
val tType : t
val has_type : t
val lift_type : t
val wildcard : t

$_ for type inference

val multiset : t

$_ for type inference

type of multisets

val fresh_var : unit -> t

New, unique symbol (cycles after 2^63 calls...)