package ff
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module MakeFp (S : sig ... end) : Ff_sig.PRIME_WITH_ROOT_OF_UNITYmodule MakeFp2 (Fp : Ff_sig.BASE) (Intf : sig ... end) : sig ... end