package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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