package class_group_vdf

  1. Overview
  2. Docs

Module Class_group.MakeSource

Parameters

module D : sig ... end

Signature

include S.GROUP
Sourcetype t
Sourceval size_in_bytes : int
Sourceval check_bytes : Bytes.t -> bool
Sourceval of_bytes_exn : Bytes.t -> t
Sourceval of_bytes_opt : Bytes.t -> t option
Sourceval to_bytes : t -> Bytes.t
Sourceval size_in_memory : int
Sourceval zero : t
Sourceval is_zero : t -> bool
Sourceval one : t
Sourceval is_one : t -> bool
Sourceval random : ?state:Random.State.t -> unit -> t
Sourceval eq : t -> t -> bool
Sourceval neg : t -> t
Sourceval add : t -> t -> t
Sourceval double : t -> t
Sourceval mul : t -> Z.t -> t
Sourceval discriminant : Utils.Integer.t
Sourceval discriminant_size : Unsigned.Size_t.t