module MakeFieldBindings (S : sig ... end) (F : Cstubs.FOREIGN) : sig ... end
module Fq12 (F : Cstubs.FOREIGN) : sig ... end
module Fr (F : Cstubs.FOREIGN) : sig ... end
module MakeGroupBindings (S : sig ... end) (F : Cstubs.FOREIGN) : sig ... end
module G1 (F : Cstubs.FOREIGN) : sig ... end
module G2 (F : Cstubs.FOREIGN) : sig ... end
module Pairing (F : Cstubs.FOREIGN) : sig ... end