hacl-star
Hacl_star
module AutoConfig2 : sig ... end
module EverCrypt : sig ... end
This module exposes the EverCrypt cryptographic provider, which offers agile and multiplexing interfaces for HACL* primitives.
module Hacl : sig ... end
This module provides direct access to all HACL* implementations
module SharedDefs : sig ... end
module SharedFunctors : sig ... end