Expr (cir_builder.Cir

val error : 'a -> ('b, 'a Cir_builder.Types.NEL.t) Stdlib.result

val resolve_indirect_access_subscripts : 
  loc:Cobol_common.Srcloc.TYPES.srcloc ->
  ('a Cir_types.immutable_field Cir_types.immutable_field, 'b, 'c) Types.env ->
  'a Cir_types.immutable_field Cir_types.immutable_field Cir_types.access_range
    list ->
  Cobol_ptree.subscript Cobol_common__Srcloc.TYPES.with_loc list ->
  'a Cir_types.immutable_field Cir_types.immutable_field
    Cir_types.fixed_mutable_field ->
  ('a Cir_types.immutable_field Cir_types.immutable_field
     Cir_types.field_reference,
    Types.error Cir_builder.Types.NEL.t)
    Stdlib.result

val resolve_subscript : 
  ('a Cir_types.immutable_field Cir_types.immutable_field, 'b, 'c) Types.env ->
  Cobol_ptree.subscript Cobol_ptree.with_loc ->
  ('a Cir_types.immutable_field Cir_types.immutable_field
     Cir_types.field_reference,
    Types.error Cir_builder.Types.NEL.t)
    Stdlib.result

val resolve_expr : 
  ('a Cir_types.immutable_field Cir_types.immutable_field, 'b, 'c) Types.env ->
  Cobol_ptree.expr Cobol_common.Srcloc.with_loc ->
  ('a Cir_types.immutable_field Cir_types.immutable_field
     Cir_types.field_reference,
    Types.error Cir_builder.Types.NEL.t)
    Stdlib.result

val resolve_qualident : 
  ('a Cir_types.immutable_field Cir_types.immutable_field, 'b, 'c) Types.env ->
  Cobol_ptree.qualident Cobol_common__Srcloc.TYPES.with_loc ->
  ('a Cir_types.immutable_field Cir_types.immutable_field
     Cir_types.field_reference,
    Types.error Cir_builder.Types.NEL.t)
    Stdlib.result

val resolve_refmod : 
  ('a Cir_types.immutable_field Cir_types.immutable_field, 'b, 'c) Types.env ->
  Cobol_ptree.refmod ->
  ('a Cir_types.immutable_field Cir_types.immutable_field Cir_types.refmod,
    Types.error Cir_builder.Types.NEL.t)
    Stdlib.result

val resolve_term : 
  'k. ('a Cir_types.immutable_field Cir_types.immutable_field, 'b, 'c)
        Types.env ->
  'k Cobol_ptree.term Cobol_ptree.with_loc ->
  ('a Cir_types.immutable_field Cir_types.immutable_field
     Cir_types.field_reference,
    Types.error Cir_builder.Types.NEL.t)
    Stdlib.result

val resolve_field_reference : 
  ('a Cir_types.immutable_field Cir_types.immutable_field, 'b, 'c) Types.env ->
  'd Cobol_ptree.term Cobol_ptree.with_loc ->
  ('a Cir_types.immutable_field Cir_types.immutable_field
     Cir_types.field_reference,
    Types.error Cir_builder.Types.NEL.t)
    Stdlib.result

val resolve_data_reference : 
  'k. ('a Cir_types.immutable_field Cir_types.immutable_field
         Cir_types.immutable_field
         Cir_types.immutable_field
         Cir_types.immutable_field
         Cir_types.immutable_field
         Cir_types.immutable_field
         Cir_types.immutable_field
         Cir_types.immutable_field
         Cir_types.immutable_field,
        'b,
        'c)
        Types.env ->
  'k Cobol_ptree.term Cobol_ptree.with_loc ->
  ('a Cir_types.immutable_field Cir_types.immutable_field
     Cir_types.immutable_field
     Cir_types.immutable_field
     Cir_types.immutable_field
     Cir_types.immutable_field
     Cir_types.immutable_field
     Cir_types.immutable_field
     Cir_types.immutable_field
     Cir_types.immutable_field
     Cir_types.data_reference,
    Types.errors)
    Stdlib.result

val resolve_condition : 
  ('a Cir_types.immutable_field Cir_types.immutable_field
     Cir_types.immutable_field
     Cir_types.immutable_field,
    'b,
    'c)
    Types.env ->
  Cobol_ptree.condition Cobol_ptree.with_loc ->
  ('a Cir_types.immutable_field Cir_types.immutable_field
     Cir_types.immutable_field
     Cir_types.immutable_field
     Cir_types.condition,
    Types.errors)
    Stdlib.result