sig
module V_Offsetmap_option :
sig
type t = Cvalue_type.V_Offsetmap.Datatype.t option
val rehash : t -> t
val descr : Unmarshal.t
val copy : t -> t
val name : string
val register_comparable :
?compare:(t -> t -> int) ->
?equal:(t -> t -> bool) ->
?hash:(t -> int) -> ?physical_hash:(t -> int) -> unit -> unit
val is_comparable_set : unit -> bool
val hash : t -> int
val physical_hash : t -> int
val equal : t -> t -> bool
val compare : t -> t -> int
val contain_project : (Project.project -> t -> bool) option ref
end
type t =
Relations_type.Model.t *
(V_Offsetmap_option.t * Relations_type.Model.t) * Locations.Zone.t *
Locations.Zone.t
val rehash : t -> t
val descr : Unmarshal.t
val copy : t -> t
val name : string
val register_comparable :
?compare:(t -> t -> int) ->
?equal:(t -> t -> bool) ->
?hash:(t -> int) -> ?physical_hash:(t -> int) -> unit -> unit
val is_comparable_set : unit -> bool
val hash : t -> int
val physical_hash : t -> int
val equal : t -> t -> bool
val compare : t -> t -> int
val contain_project : (Project.project -> t -> bool) option ref
val physical_hash :
Relations_type.Model.Datatype.t *
(Eval.Mem_Exec_Datatype.V_Offsetmap_option.t *
Relations_type.Model.Datatype.t) *
Locations.Zone.Datatype.t * Locations.Zone.Datatype.t -> int
end