Source file `sub.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
open Types

type 'a t =
  { poll : (Id.t, 'a option) Decl.Request.witness
  ; cancel : Id.t Decl.Notification.witness
  }

let of_procedure p =
  let open Procedures.Poll in
  { poll = (poll p).decl; cancel = (cancel p).decl }
;;

let poll t = t.poll
let poll_cancel t = t.cancel