package hacl-star

  1. Overview
  2. Docs

Module SharedFunctors.Make_Poly1305_genericSource

Parameters

module Impl : sig ... end

Signature

Sourcetype t = C.t
Sourceval mac : C.t -> C.t -> C.t -> unit