pub fn sequential_algorithm_ty() -> Expr
SequentialAlgorithm: a Berry-Curien sequential algorithm (stable function representation).