package links

  1. Overview
  2. Docs
package links
Legend:
Library
Module
Module type
Parameter
Class
Class type
type result = {
  1. program : Ir.program;
  2. datatype : Types.datatype;
  3. context : Context.t;
}
val program : Context.t -> Types.datatype -> Ir.program -> result