functor (R : sig val prefix : string end->
  sig
    val add_axiom :
      string ->
      Lexing.position option ->
      string -> string -> Data_mem.Create.F.pred -> unit
    val on_array : (Ctypes.arrayinfo -> unit) -> unit
    val on_record : (Cil_types.compinfo -> unit) -> unit
    val define : Ctypes.c_object -> unit
  end