package riot

  1. Overview
  2. Docs

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]