sig
  type t = Ctypes.c_object
  val define : t -> unit
  val get_definition : t -> F.decl
  val on_definition : (t -> F.decl -> unit) -> unit
end