Module LogicId.S


module S: sig .. end

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