Source file proc_effect.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
open Util
type _ Effect.t += Receive : { ref : unit Ref.t option } -> Message.t Effect.t
[@@unboxed]
type _ Effect.t += Yield : unit Effect.t [@@unboxed]
type _ Effect.t +=
| Syscall : {
name : string;
mode : [ `r | `w | `rw ];
fd : Fd.t;
}
-> unit Effect.t
[@@unboxed]