pub fn bandit_algorithm_ty() -> Expr
BanditAlgorithm: protocol with only loss feedback (no gradient) Type: Nat → Nat → Type (n arms, T rounds)
BanditAlgorithm