Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bls12-381-gen
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module type RAW_BASE = sig ... endmodule Make (Stubs : RAW_BASE) : Ff_sig.BASE