Impl (hacl-star.Hacl_star.SharedFunctors.Make

val min_msg_size : int

val sign : 
  SharedDefs.CBytes.buf ->
  Unsigned.uint32 ->
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  bool

val verify : 
  Unsigned.uint32 ->
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  bool