package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type envs = Var.var Env.String.t * Types.typing_environment

type program = Ir.binding list * Ir.computation * Types.datatype

type ext_dep = string

type source = {

}

val read_file_source : envs -> string -> source

val load_file : envs -> string -> source

val print : string -> unit