Module 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
type t
val compare : t -> t -> int
include Interfaces.PRINT with type t := t
type t
val pp : t CCFormat.printer
val to_string : t -> string