Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package rfsm
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Builtin operations
type prim = Expr.e_val list -> Expr.e_valtype desc = Types.typ_scheme * primtype, value
type env = (string * desc) listval env : envval lookup : string -> descval lookup_typ : string -> Types.typ_schemeval lookup_val : string -> prim