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

Module `Jasmin.Syscall_ocaml`Source

Sourcetype state

Sourceval initial_state : unit -> state

Sourceval sc_sem : state Syscall.syscall_sem