package KaSim

  1. Overview
  2. Docs
type (!'a, !'b) stop =
  1. | Stop of 'b
  2. | 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