package owl
-
owl
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package owl
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Define the types shared by various modules
module Dense_real : sig ... endmodule Dense_complex : sig ... endmodule Sparse_real : sig ... endmodule Sparse_complex : sig ... end