package logtk

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Lpo.ConstraintSource

Sourcetype expr = Logtk.ID.t
Sourcetype t =
  1. | EQ of expr * expr
  2. | LE of expr * expr
  3. | LT of expr * expr
  4. | And of t list
  5. | Or of t list
  6. | Not of t
  7. | True
  8. | False
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 to_string : t -> string
Sourceval simplify : t -> t

Basic simplifications

OCaml

Innovation. Community. Security.