package minicaml

  1. Overview
  2. Docs
val closurize : string -> string -> Types.type_wrapper

An helper function that helps extracting closures from strings, to be used as functions in the standard library. An empty environment is used since primitives in the standard library should not be able to access external values TODO: compute at compile time

val mapstr : string
val filterstr : string
val foldlstr : string
val foldrstr : string
val table : (string * Types.type_wrapper) list
val purity_table : (string * Types.puret) list
OCaml

Innovation. Community. Security.