Parameter Make_Chacha20_Poly1305_generic.C
val size_uint32 : bytes -> Unsigned.uint32
val ctypes_buf : bytes -> buf
val ctypes_buf_with_offset : bytes -> int -> buf
val equal : bytes -> bytes -> bool
val disjoint : bytes -> bytes -> bool
val sub : bytes -> int -> int -> bytes
val copy : bytes -> bytes
val z_compare : bytes -> Z.t -> int