Impl (hacl-star.Hacl_star.SharedFunctors.Make

val reqs : AutoConfig2.feature list

val secret_to_public : SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> unit

val scalarmult : 
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  unit

val ecdh : 
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  bool