module State: Alphabet.Int
Alphabet.Int
type t = int
int
val eq : int -> int -> bool
int -> int -> bool
val to_string : int -> string
int -> string
val compare : int -> int -> int
int -> int -> int
val leq : int -> int -> bool
val geq : int -> int -> bool