Env (cobol_ir.Cobol

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

module TYPES : sig ... end

val lookup_named_field : 
  Cobol_ptree.qualname ->
  ('a, 'b, 'c) TYPES.env ->
  'a Types.mutable_field

val literal_field : 
  Cobol_ptree.literal Cobol_ptree.with_loc ->
  ('a Types.immutable_field, 'b, 'c) TYPES.env ->
  ('a Types.immutable_field, Types.errors) Stdlib.result

val make_literal : 
  ('a Types.immutable_field Types.immutable_field, 'b, 'c) TYPES.env ->
  Cobol_ptree.literal Cobol_ptree.with_loc ->
  ('a Types.field, Types.errors) Stdlib.result

val resolve_qualname : 
  ('a, 'b, 'c) TYPES.env ->
  Cobol_ptree.qualname Cobol_common__Srcloc.TYPES.with_loc ->
  ('a Types.field, Types.error Cobol_ir.Types.NEL.t) Stdlib.result

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

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