Std.EarlyReturn

import Std.EarlyReturn

Source


Effects


EarlyReturn

effect EarlyReturn t =
    early_return: fn t -> Never

source


Functions


with_early_return

with_early_return (f: t can EarlyReturn t): t

source