You can search for identifiers within the package.
in-package search v0.2.0
type (_, _) t
Response abstract data type
val success : ('s * 'a * bool) -> ('s, 'a) t
Define successful response
val failure : ('s * bool) -> ('s, 'a) t
Define fazilure response
val fold : ('s, 'a) t -> (('s * 'a * bool) -> 'b) -> (('s * bool) -> 'b) -> 'b
Catamorphism dedicated to response data type.