sig
  type t = {
    label : string;
    ctyp : Camlp4.PreCast.Ast.ctyp option;
    poly : bool;
    arity : int;
    index : int;
    arity_index : int;
  }
  val expr :
    loc:Camlp4.PreCast.Ast.loc ->
    Pa_typerep_conv.Variant_case.t -> Camlp4.PreCast.Ast.expr
  val patt :
    loc:Camlp4.PreCast.Ast.loc ->
    Pa_typerep_conv.Variant_case.t -> Camlp4.PreCast.Ast.patt
  val ocaml_repr :
    loc:Camlp4.PreCast.Ast.loc ->
    Pa_typerep_conv.Variant_case.t -> Camlp4.PreCast.Ast.expr
end