Imandra_surface.Short_uid
type t
=
|
Local of string
Defined of string * Imandra_util.Chash.t
val pp : t CCFormat.printer
val to_string : t -> string
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
module Map : CCMap.S with type Map.key = t