logtk

Core types and algorithms for logic
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library logtk
Module Logtk . Precedence . Weight

Weight of Symbols

type t
val int : int -> t
val zero : t
val one : t
val omega : t
val omega_plus : int -> t
val sign : t -> int
val add : t -> t -> t
val diff : t -> t -> t
val mult : int -> t -> t
module Infix : sig ... end
include module type of Infix
val (+) : t -> t -> t
val (-) : t -> t -> t
include Interfaces.ORD with type t := t
val compare : t -> t -> int
include Interfaces.PRINT with type t := t
val to_string : t -> string