pub fn ewa_algorithm_ty() -> Expr
ExponentialWeightsAlgorithm: EWA (Hedge) distribution over n experts Type: Nat → Real → Type (n experts, learning rate η)
ExponentialWeightsAlgorithm