Module Builtins

module Builtins: sig .. end

type prim = Expr.e_val list -> Expr.e_val 

type desc = Types.typ_scheme * prim 

type env = (string * desc) list 

val env : env

exception Unbound_id of string

val lookup : string -> desc

val lookup_typ : string -> Types.typ_scheme

val lookup_val : string -> prim