Module Cobol_preproc.Env

module VAR : sig ... end

Utility module that maps any string to a physically unique upper-cased internal representation.

module MAP : sig ... end
module TYPES : sig ... end
include module type of struct include TYPES end
type env = definition MAP.t
and var = VAR.t
and definition = TYPES.definition = {
  1. def_loc : definition_loc;
  2. def_value : value;
}
and definition_loc = preproc_loc
and 'a with_preproc_loc = 'a TYPES.with_preproc_loc = {
  1. pp_payload : 'a;
  2. pp_loc : preproc_loc;
}
and preproc_loc = TYPES.preproc_loc =
  1. | Source_location of Cobol_common.Srcloc.TYPES.srcloc
  2. | Process_parameter
  3. | Process_environment
exception REDEFINITION of {
  1. prev_def_loc : definition_loc;
}
type t = env
val pp_value : Stdlib.Format.formatter -> value -> Ppx_deriving_runtime.unit
val pp_definition : Stdlib.Format.formatter -> definition -> Ppx_deriving_runtime.unit
val pp : t Pretty.printer
val empty : 'a MAP.t
val var : string -> VAR.t
val mem : MAP.key -> 'a MAP.t -> bool
val mem' : MAP.key Cobol_common__Srcloc.TYPES.with_loc -> 'a MAP.t -> bool
val definition_of : var:MAP.key Cobol_common__Srcloc.TYPES.with_loc -> definition MAP.t -> definition
val define : loc:Cobol_common.Srcloc.TYPES.srcloc -> MAP.key Cobol_common__Srcloc.TYPES.with_loc -> value -> ?override:bool -> t -> t
val define_process_parameter : MAP.key -> value -> t -> t
val undefine : MAP.key Cobol_common__Srcloc.TYPES.with_loc -> t -> t