Lisp.Closure
Machine independent closure.
A closure is an anonymous function, that performs some computation in the Machine Monad. Closures are used to extend the Lisp Machine with arbitrary primitive operations implemented in OCaml.
module type S = functor (Machine : Machine.S) -> sig ... end
type t = (module S)
module Make (Machine : Machine.S) : sig ... end