pub fn reset_ty() -> Expr
Reset : Type → Type → Type
Delimited continuation reset (prompt): delimits the scope of a continuation.