Up – hacl-star » Hacl_star » SharedFunctors » Make_Poly1305

Module `SharedFunctors.Make_Poly1305`

Parameters
Signature

Parameters

module Impl : sig ... end

Signature

type bytes = SharedDefs.CBytes.t

module Noalloc : sig ... end

val mac : key:bytes -> msg:bytes -> bytes