module State: sig .. end
sig
end
type t = string
string
val compare : t -> t -> int
t -> t -> int
val to_string : t -> t
t -> t