package links

  1. Overview
  2. Docs
type result = {
  1. program : Ir.program;
  2. datatype : Types.datatype;
  3. context : Context.t;
}
val program : Context.t -> Types.datatype -> Ir.program -> result