module Mem_Exec_Datatype:sig
..end
module V_Offsetmap_option:Datatype.Option
(
Cvalue_type.V_Offsetmap.Datatype
)
include struct ... end
val physical_hash : Relations_type.Model.Datatype.t *
(V_Offsetmap_option.t *
Relations_type.Model.Datatype.t) *
Locations.Zone.Datatype.t * Locations.Zone.Datatype.t -> int