sig
val indir :
Caveat_mem.Make.WP.D1.pointer ->
Ctypes.c_object -> Caveat_mem.Make.WP.D1.abstract
val mu_indir :
Caveat_mem.Make.WP.D1.pointer ->
Caveat_mem.Make.WP.D1.integer ->
Ctypes.c_object ->
Caveat_mem.Make.WP.D1.abstract -> Caveat_mem.Make.WP.D1.abstract
val mu_range_indir :
Caveat_mem.Make.WP.D1.pointer ->
Formula.m_set Caveat_mem.Make.WP.F.term -> Caveat_mem.Make.WP.D1.abstract
val ptr : Caveat_mem.Make.WP.D1.pointer -> Caveat_mem.Make.WP.D1.pointer
end