You can search for identifiers within the package.
in-package search v0.2.0
type 'a exp = 'a C.exp
type 'a stm = 'a C.stm
type 'a mut = 'a C.mut
type 'a arr = 'a C.arr
type 'a tbase = 'a C.tbase
type 'a stream = 'a Stream_raw_fn.Make(C).stream
type !'a emit = ('a -> unit stm) -> unit stm
type goon = Stream_raw_fn.Make(C).goon =
| GTrue
| GExp of bool exp
| GRef of bool mut
val pull_array : int exp -> (int exp -> 'a emit) -> 'a stream
val initializing : 'z exp -> ('z exp -> 'a stream) -> 'a stream
val initializing_ref : 'z exp -> ('z mut -> 'a stream) -> 'a stream
val initializing_arr : 'z tbase -> 'z exp array -> ('z arr -> 'a stream) -> 'a stream
val initializing_static_arr : 'z tbase -> ('b -> 'z exp) -> 'b array -> ('z arr -> 'a stream) -> 'a stream
val initializing_uarr : 'z tbase -> int -> ('z arr -> 'a stream) -> 'a stream
val infinite : 'a emit -> 'a stream
val iter : ('a -> unit stm) -> 'a stream -> unit stm
val map_raw : ?linear:bool -> ('a -> 'b emit) -> 'a stream -> 'b stream
val map_raw' : ('a -> 'b) -> 'a stream -> 'b stream
val guard : goon -> 'a stream -> 'a stream
val filter_raw : ('a -> bool exp) -> 'a stream -> 'a stream
val flat_map_raw : ('a exp -> 'b stream) -> 'a exp stream -> 'b stream
val zip_raw : 'a stream -> 'b stream -> ('a * 'b) stream