package key-parsers

  1. Overview
  2. Docs
type basis =
  1. | GN
  2. | TP of Z.t
  3. | PP of Z.t * Z.t * Z.t
val compare_basis : basis -> basis -> Ppx_deriving_runtime.int
val equal_basis : basis -> basis -> Ppx_deriving_runtime.bool
val pp_basis : Ppx_deriving_runtime.Format.formatter -> basis -> Ppx_deriving_runtime.unit
val basis_grammar : basis Asn.t
type characteristic_two_params = {
  1. m : Z.t;
  2. basis : basis;
}
val pp_characteristic_two_params : Ppx_deriving_runtime.Format.formatter -> characteristic_two_params -> Ppx_deriving_runtime.unit
val show_characteristic_two_params : characteristic_two_params -> Ppx_deriving_runtime.string
val ctwo_params_grammar : characteristic_two_params Asn.t
type t =
  1. | Prime of Z.t
  2. | C_two of characteristic_two_params
val compare : t -> t -> Ppx_deriving_runtime.int
val equal : t -> t -> Ppx_deriving_runtime.bool
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val grammar : t Asn.t