Legend:
Library
Module
Module type
Parameter
Class
Class type
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.