package rfsm

  1. Overview
  2. Docs

Builtin operations

type prim = Expr.e_val list -> Expr.e_val
type desc = Types.typ_scheme * prim

type, value

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
OCaml

Innovation. Community. Security.