You can search for identifiers within the package.
in-package search v0.2.0
type 'a t = Ctx.t -> 'a
val with_state : init:'state -> f:('state -> 'state t) -> 'state t
val with_state' : init:'state -> f:('state -> ('state * 'a) t) -> 'a t
val map : 'a t -> f:('a -> 'b) -> 'b t
val bind : 'a t -> f:('a -> 'b t) -> 'b t