pub fn online_algorithm_ty() -> Expr
OnlineAlgorithm: sequential prediction protocol over T rounds Type: Nat → Type
OnlineAlgorithm