links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Context
type t = {
typing_environment : Types.typing_environment;
name_environment : Ir.var Env.String.t;
value_environment : Value.env;
variable_environment : Types.datatype Env.Int.t;
source_code : SourceCode.source_code;
ffi_files : string list;
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