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