Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package alba
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module type ERROR = sig ... endmodule type COMBINATORS = sig ... endmodule Make
(T : Module_types.ANY)
(S : Module_types.ANY)
(Expect : Module_types.ANY)
(Semantic : Module_types.ANY)
(F : Module_types.ANY) :
sig ... end