generic.ml
eio
eio.core
eio.mock
eio.unix
eio.utils
1 2 3 4 5 6 7 type 'a ty = .. class type t = object method probe : 'a. 'a ty -> 'a option end let probe (t : #t) ty = t#probe ty
1 2 3 4 5 6 7
type 'a ty = .. class type t = object method probe : 'a. 'a ty -> 'a option end let probe (t : #t) ty = t#probe ty