package bls12-381-gen

You can search for identifiers within the package.

in-package search v0.2.0

package bls12-381-gen

bls12-381-gen
- Bls12_381_gen
  - Elliptic_curve_sig
    
    RAW_BASE
    
    T
    
    Scalar
  - Fq12
    
    MakeFq12
    
    Stubs
    
    T
  - Fr
    
    MakeFr
    
    Stubs
    
    T
  - G1
    
    BASE
    
    Scalar
    
    COMPRESSED
    
    Scalar
    
    MakeBase
    
    Scalar
    
    Stubs
    
    MakeCompressed
    
    Scalar
    
    Stubs
    
    MakeUncompressed
    
    Scalar
    
    Stubs
    
    RAW_COMPRESSED
    
    RAW_UNCOMPRESSED
    
    UNCOMPRESSED
    
    Scalar
  - G2
    
    BASE
    
    Scalar
    
    COMPRESSED
    
    Scalar
    
    MakeBase
    
    Scalar
    
    Stubs
    
    MakeCompressed
    
    Scalar
    
    Stubs
    
    MakeUncompressed
    
    Scalar
    
    Stubs
    
    RAW_COMPRESSED
    
    RAW_UNCOMPRESSED
    
    UNCOMPRESSED
    
    Scalar
  - Pairing
    
    Make
    
    G1
    
    Scalar
    
    G2
    
    Scalar
    
    GT
    
    Stubs
    
    RAW_STUBS
  - S
    
    Make
    
    Stubs
    
    RAW_BASE

Legend:
Library
Module
Module type
Parameter
Class
Class type

module type T = sig ... end

module MakeFq12 (Stubs : S.RAW_BASE) : T