Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » Syscall_t

Module `Jasmin.Syscall_t`Source

jasmin

Sourcetype 'a syscall_t =

| RandomBytes of 'a