Up

module CodeBits

: sig
#
val tunit : IL.typ
#
val tbool : IL.typ
#
val tint : IL.typ
#
val tstring : IL.typ
#
val texn : IL.typ
#
val tposition : IL.typ
#
val tlexbuf : IL.typ
#
val tobj : IL.typ
#
val tvar : string -> IL.typ
#
val scheme : string list -> IL.typ -> IL.typescheme
#
val type2scheme : IL.typ -> IL.typescheme
#
val pat2var : IL.pattern -> string
#
val blet : (IL.pattern * IL.expr) list * IL.expr -> IL.expr
#
val mlet : IL.pattern list -> IL.expr list -> IL.expr -> IL.expr
#
val bottom : IL.expr
#
val etrue : IL.expr
#
val efalse : IL.expr
#
val eboolconst : bool -> IL.expr
#
val arrow : IL.typ -> IL.typ -> IL.typ
#
val arrowif : bool -> IL.typ -> IL.typ -> IL.typ
#
val marrow : IL.typ list -> IL.typ -> IL.typ
#
val prefix : string -> string
#
val dataprefix : string -> string
#
val tvprefix : string -> string
end