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