Parameter `Make_ECDSA.1-Impl`

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