pub fn persistent_stack_ty() -> Expr
PersistentStack α : Type 0 — persistent (immutable-spine) stack.
PersistentStack α : Type 0