module C: sig .. end
sig
end
type t
val equal : t -> t -> bool
t -> t -> bool
val create : S.t -> Wp.Lang.F.pred -> t
S.t -> Wp.Lang.F.pred -> t
val get : t -> Wp.Lang.F.pred
t -> Wp.Lang.F.pred
val reads : t -> S.domain
t -> S.domain
val relocate : S.t -> t -> t
S.t -> t -> t