package links

  1. Overview
  2. Docs
type state = {
  1. context : Context.t;
  2. primitive_vars : Utility.IntSet.t;
  3. datatype : Types.datatype;
}
type result =
  1. | 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