package records

  1. Overview
  2. Docs
On This Page
  1. Safe interface
package records
Legend:
Library
Module
Module type
Parameter
Class
Class type

Safe interface

This interface is similar to Unsafe except that the phantom type normally passed to declare is generated by a functor. This has the other advantage of making the layout argument implicit in the output module.

module type LAYOUT = sig ... end
val declare : string -> (module LAYOUT)

Create a new layout with the given name.