package logtk

You can search for identifiers within the package.

in-package search v0.2.0

Core types and algorithms for logic

Install

md5=97cdb2f90468e9e27c7bbe3b4fb160bb

sha512=fee73369f673a91dfa9e265fc69be08b32235e10a495f3af6477d404fcd01e3452a0d012b150f3d7f97c00af2f6045019ad039164bf698f70d771231cc4efe5d

Sourcetype expr = Logtk.ID.t

Sourcetype t =

Sourceval eq : expr -> expr -> t

Sourceval neq : expr -> expr -> t

Sourceval le : expr -> expr -> t

Sourceval lt : expr -> expr -> t

Sourceval gt : expr -> expr -> t

Sourceval ge : expr -> expr -> t

Sourceval and_ : t list -> t

Sourceval or_ : t list -> t

Sourceval not_ : t -> t

Sourceval imply : t -> t -> t

Sourceval true_ : t

Sourceval false_ : t

Sourcemodule Seq : sig ... end

include Logtk.Interfaces.PRINT with type t := t

Sourceval pp : t CCFormat.printer

Sourceval to_string : t -> string

Sourceval simplify : t -> t

Basic simplifications