UPCAST (cobol_ptree.Cobol

val ident_with_alphanum : 
  [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.alnum_ ]
    Cobol_ptree__.Terms.term

val ident_with_nonnum : 
  [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.nonnum_ ]
    Cobol_ptree__.Terms.term

val ident_with_numeric : 
  [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.num_ ]
    Cobol_ptree__.Terms.term

val ident_with_string : 
  [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.strlit_ ]
    Cobol_ptree__.Terms.term

val ident_with_literal : 
  [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.lit_ ]
    Cobol_ptree__.Terms.term

val ident_with_integer : 
  [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.int_ ]
    Cobol_ptree__.Terms.term

val string_with_name : 
  [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.strlit_ ]
    Cobol_ptree__.Terms.term

val string_with_ident : 
  [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.strlit_ ]
    Cobol_ptree__.Terms.term

val numeric_with_ident : 
  [ Cobol_ptree__.Terms.int_
  | Cobol_ptree__.Terms.fixed_
  | Cobol_ptree__.Terms.float_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.num_ ]
    Cobol_ptree__.Terms.term

val nonnum_with_ident : 
  [ Cobol_ptree__.Terms.alnum_
  | Cobol_ptree__.Terms.national_
  | Cobol_ptree__.Terms.bool_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.nonnum_ ]
    Cobol_ptree__.Terms.term

val literal_with_ident : 
  [ Cobol_ptree__.Terms.nonnum_
  | Cobol_ptree__.Terms.bool_
  | Cobol_ptree__.Terms.num_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.lit_ ]
    Cobol_ptree__.Terms.term

val literal_with_name : 
  [ Cobol_ptree__.Terms.nonnum_
  | Cobol_ptree__.Terms.bool_
  | Cobol_ptree__.Terms.num_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ]
    Cobol_ptree__.Terms.term

val literal_with_qualdatname : 
  [ Cobol_ptree__.Terms.nonnum_
  | Cobol_ptree__.Terms.bool_
  | Cobol_ptree__.Terms.num_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.lit_ ]
    Cobol_ptree__.Terms.term

val qualname_with_alphanum : 
  [ Cobol_ptree__.Terms.name_
  | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.alnum_ ]
    Cobol_ptree__.Terms.term

val qualname_with_literal : 
  [ Cobol_ptree__.Terms.name_
  | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.lit_ ]
    Cobol_ptree__.Terms.term

val qualname_with_integer : 
  [ Cobol_ptree__.Terms.name_
  | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.int_ ]
    Cobol_ptree__.Terms.term

val name_with_literal : 
  [ `Name ] Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ]
    Cobol_ptree__.Terms.term

val base_ident_with_refmod : 
  [ Cobol_ptree__.Terms.scalar_ident_ | Cobol_ptree__.Terms.object_view_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ]
    Cobol_ptree__.Terms.term

val scalar_ident_as_scalar : 
  [ Cobol_ptree__.Terms.qualident_
  | Cobol_ptree__.Terms.address_
  | Cobol_ptree__.Terms.counter_
  | Cobol_ptree__.Terms.inline_call_
  | Cobol_ptree__.Terms.inline_invoke_
  | Cobol_ptree__.Terms.object_ref_
  | Cobol_ptree__.Terms.refmod_scalar_ident_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.scalar_ident_
  | Cobol_ptree__.Terms.refmod_ident_
  | Cobol_ptree__.Terms.lit_
  | Cobol_ptree__.Terms.arith_value_ ]
    Cobol_ptree__.Terms.term

val numeric_as_scalar : 
  [ Cobol_ptree__.Terms.int_
  | Cobol_ptree__.Terms.fixed_
  | Cobol_ptree__.Terms.float_ ]
    Cobol_ptree__.Terms.term ->
  [ Cobol_ptree__.Terms.scalar_ident_
  | Cobol_ptree__.Terms.refmod_ident_
  | Cobol_ptree__.Terms.lit_
  | Cobol_ptree__.Terms.arith_value_ ]
    Cobol_ptree__.Terms.term

val simple_cond : 
  [ `Simple ] Cobol_ptree__.Terms.cond ->
  [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ]
    Cobol_ptree__.Terms.cond