package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val not_ : t -> t
val equiv : t -> t -> t
val xor : t -> t -> t
val imply : t -> t -> t
val eq : t -> t -> t
val neq : t -> t -> t
val and_ : t -> t -> t
val or_ : t -> t -> t
val and_l : t list -> t
val or_l : t list -> t
val forall : t -> t
val exists : t -> t
val choice : t -> t
OCaml

Innovation. Community. Security.