Module Cir_builder.Types

type ambiguous_stuff =
  1. | Data_reference of Cobol_ptree.qualname
type extraneous_stuff =
  1. | Data_reference_subscripts of {
    1. qn : Cobol_ptree.qualname;
    2. amount : int;
    }
type missing_stuff =
  1. | Data_reference_subscripts of {
    1. qn : Cobol_ptree.qualname;
    2. amount : int;
    }
type unexpected_stuff = ..
type unexpected_stuff +=
  1. | Item_used_in_depending_clause
  2. | Reference_modification
type unsupported_stuff = ..
type undefined_stuff =
  1. | Data_reference of Cobol_ptree.qualname
type error = ..
type error +=
  1. | Ambiguous of {
    1. loc : Cobol_common.Srcloc.TYPES.srcloc;
    2. stuff : ambiguous_stuff;
    3. candidates : Cobol_ptree.qualname NEL.t;
    }
  2. | Extraneous of {
    1. locs : Cobol_common.Srcloc.TYPES.srcloc NEL.t;
    2. stuff : extraneous_stuff;
    }
  3. | Missing of {
    1. loc : Cobol_common.Srcloc.TYPES.srcloc;
    2. stuff : missing_stuff;
    }
  4. | Unexpected of {
    1. loc : Cobol_common.Srcloc.TYPES.srcloc;
    2. stuff : unexpected_stuff;
    }
  5. | Unsupported of {
    1. loc : Cobol_common.Srcloc.TYPES.srcloc;
    2. stuff : unsupported_stuff;
    }
  6. | Undefined of {
    1. loc : Cobol_common.Srcloc.TYPES.srcloc;
    2. stuff : undefined_stuff;
    }
  7. | Data_error of Cobol_data.Types.error
type errors = error NEL.t
module CONST_REF : sig ... end
module CONST_TABLE : sig ... end
type ('f, 'r, 'm) builder = {
  1. create_record_data : Cobol_data.Types.record -> ('r Cir_types.record_handle, errors) Stdlib.result;
  2. create_field_from_definition : Cobol_data.Types.field_definition Cobol_common.Srcloc.TYPES.with_loc -> 'r Cir_types.record_handle -> ('f, errors) Stdlib.result;
  3. create_field_from_literal_value : Cobol_data.Types.literal_value Cobol_common.Srcloc.TYPES.with_loc -> ('f Cir_types.immutable_field, errors) Stdlib.result;
  4. create_module_memory : name:string -> source_file:string -> 'm;
  5. const_fields : 'f Cir_types.immutable_field CONST_TABLE.t;
}
type ('f, 'r, 'm) env = {
  1. named_fields : 'f Cir_types.fields_map;
  2. builder : ('f, 'r, 'm) builder;
}