package links

  1. Overview
  2. Docs
type t = {
  1. typing_environment : Types.typing_environment;
  2. name_environment : Ir.var Env.String.t;
  3. value_environment : Value.env;
  4. variable_environment : Types.datatype Env.Int.t;
  5. source_code : SourceCode.source_code;
  6. ffi_files : string list;
  7. operator_table : (int * Operators.Associativity.t) Utility.StringMap.t option;
}
val empty_code : SourceCode.source_code
val empty : t
val typing_environment : t -> Types.typing_environment
val name_environment : t -> Ir.var Env.String.t
val value_environment : t -> Value.env
val source_code : t -> SourceCode.source_code
val variable_environment : t -> Types.datatype Env.Int.t
val ffi_files : t -> string list
val operator_table : t -> (int * Operators.Associativity.t) Utility.StringMap.t option
OCaml

Innovation. Community. Security.