Impl (hacl-star.Hacl_star.SharedFunctors.Make_Chacha20

val reqs : AutoConfig2.feature list

val encrypt : 
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  Unsigned.uint32 ->
  SharedDefs.CBytes.buf ->
  Unsigned.uint32 ->
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  unit

val decrypt : 
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  Unsigned.uint32 ->
  SharedDefs.CBytes.buf ->
  Unsigned.uint32 ->
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  Unsigned.uint32