Kappa_generic_toolset.Stop
type ('a, 'b) stop
=
|
Stop of 'b
Success of 'a
val success : 'a -> ('a, 'b) stop
val stop : 'a -> ('b, 'a) stop
val success_or_stop : ('a -> 'b) -> ('c -> 'b) -> ('a, 'c) stop -> 'b