package logtk

  1. Overview
  2. Docs
On This Page
  1. Weight of Symbols
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Precedence.WeightSource

Weight of Symbols

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