pub fn shift_ty() -> Expr
Shift : Type → Type → Type
Delimited continuation shift operator: (a → m b) → m a.