let physical_hash (generic_state, (result, result_state), ins, outs) =
Relations_type.Model.Datatype.physical_hash generic_state
+ 97 * (V_Offsetmap_option.physical_hash result)
+ 13 * (Relations_type.Model.Datatype.physical_hash result_state)
+ 5003 * (Locations.Zone.Datatype.physical_hash ins)
+ 10007 * (Locations.Zone.Datatype.physical_hash outs)