package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type state = {

context : Context.t;
primitive_vars : Utility.IntSet.t;
datatype : Types.datatype;

}

type result =

| Result of {
1. state : state;
2. program : Ir.program;
}

val context : state -> Context.t

val return : state -> Ir.program -> result

val with_type : Types.datatype -> state -> state

module type S = sig ... end

class virtual ir_transformer : object ... end

module Make (T : sig ... end) : S