Up – Package index » ff » Library ff » Ff

Module `Ff`Source

ff
- README
- Library ff
  - Ff
    - T
    - MakeFp
- Sources

Sourcemodule type T = sig ... end

General module signature for a finite field

Sourcemodule MakeFp (S : sig ... end) : T