module S: sig .. end
sig
end
type t = LogicId.id
LogicId.id
val compare : 'a -> 'a -> int
'a -> 'a -> int
val hash : 'a -> int
'a -> int
val equal : 'a -> 'a -> bool
'a -> 'a -> bool
val pretty : Format.formatter -> string * int -> unit
Format.formatter -> string * int -> unit