You can search for identifiers within the package.
in-package search v0.2.0
vif
vif.core
Vif_core.Device
type t = ..
module Device : sig ... end
module Hmap : sig ... end
val failwithf : ('a, Format.formatter, unit, 'b) format4 -> 'a
type t +=
| Devices : Hmap.t -> t
val empty : t
type ('value, 'a) arg =
| Value : 'a Hmap.key -> ('value, 'a) arg
| Const : 'a -> ('value, 'a) arg
| Map : ('value, 'fn, 'r) args * 'fn -> ('value, 'r) arg
and ('value, 'fn, 'r) args =
| [] : ('value, 'value -> 'r, 'r) args
| :: : ('value, 'a) arg * ('value, 'fn, 'r) args -> ('value, 'a -> 'fn, 'r) args
val arg : 'a 'v. t -> 'v -> ('v, 'a) arg -> t * 'a
val keval_args : 'f 'r 'v. t -> 'v -> (('v -> 'r) -> t -> 'r) -> ('v, 'f, 'r) args -> 'f -> 'r
type ('v, 'r) device =
| Device : ('v, 'f, 'r) args * 'f * 'r Hmap.key -> ('v, 'r) device
val const : 'a -> ('b, 'a) arg
val value : ('a, 'b) device -> ('c, 'b) arg
val map : ('a, 'b, 'c) args -> 'b -> ('a, 'c) arg
val v : 'v 'f 'r. name:string -> finally:('r -> unit) -> ('v, 'f, 'r) args -> 'f -> ('v, 'r) device
val run : 'v. Hmap.t -> 'v -> ('v, 'r) device -> Hmap.t