Module Record.Safe

module Safe: sig .. end

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 Record.Safe.LAYOUT)

Create a new layout with the given name.