package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t = {

}

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