fact: Definition sleep_plenty_main : io_unit := let x := {| f1 := 1; f2 := 2 |} in IO.unsafe_run (sleep_plenty (x.(f1) + x.(f2))).
imports: Coq(Extraction) SimpleIO(SimpleIO) ExtLib(Monad) CoqFFI(Extraction) Examples(File Sleep Records) CoqFFI(String)