sig
  type 'a t
  type packed
  type structure = Sum of Descr.packed array array | Array of Descr.packed
  val pack : 'Descr.t -> Descr.packed
  val abstract : 'Type.t -> 'Descr.t
  val structure : 'Type.t -> Descr.structure -> 'Descr.t
  val transform : 'Type.t -> 'Descr.t -> ('-> 'a) -> 'Descr.t
  val return : 'Type.t -> 'Descr.t -> (unit -> 'a) -> 'Descr.t
  val dynamic : 'Type.t -> (unit -> 'Descr.t) -> 'Descr.t
  val t_int : int Descr.t
  val t_string : string Descr.t
  val t_float : float Descr.t
  val t_bool : bool Descr.t
  val t_int32 : int32 Descr.t
  val t_int64 : int64 Descr.t
  val t_nativeint : nativeint Descr.t
  val t_record : 'Type.t -> Descr.packed array -> 'Descr.t
  val t_tuple : 'Type.t -> Descr.packed array -> 'Descr.t
  val t_couple : 'Descr.t -> 'Descr.t -> ('a * 'b) Descr.t
  val t_list : 'Descr.t -> 'a list Descr.t
  val t_ref : 'Descr.t -> 'Pervasives.ref Descr.t
  val t_option : 'Descr.t -> 'a option Descr.t
end