Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Bigbytes
offers versions of each of the above formatters, which get their value from a Sodium.bigbytes
value.
type storage = Sodium.bigbytes
group_elt
formats a group_elt
in this fashion: (Scalar_mult.group_elt AAAAAA==)
. If the storage
value is not Sodium.Scalar_mult.group_elt_size
bytes long, it will be formatted as (Scalar_mult.group_elt <size mismatch>)
.