Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package ocsipersist-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
This modules provides tools for creating more implementations of the Ocsipersist virtual module.
module Sigs : sig ... endmodule Polymorphic (Functorial : Sigs.FUNCTORIAL) : Sigs.POLYMORPHICderiving polymorphic interface from the functorial one
module Ref (Store : Sigs.STORE) : sig ... end