Module Eval.Mem_Exec_Datatype


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