module Model:sig
..end
module D: Caveat_mem.Make.WP.D1
module A:Mint_natural.Create
(
D
)
module R:Mfloat_natural.Create
(
D
)
typeloc =
Caveat_mem.Make.WP.F.data
val pp_loc : Format.formatter -> Caveat_mem.Make.WP.F.data -> unit
val pointer_of_loc : Caveat_mem.Make.WP.F.data -> Caveat_mem.Make.WP.F.dterm
val loc_of_pointer : 'a -> Caveat_mem.Make.WP.F.dterm -> Caveat_mem.Make.WP.F.data
val cast_loc_to_int : 'a -> 'b -> 'c -> 'd
val cast_int_to_loc : 'a -> 'b -> 'c -> 'd