Function sample_complexity_ty 

pub fn sample_complexity_ty() -> Expr

SampleComplexity: m = O((d log(d/ε) + log(1/δ)) / ε) Type: Real → Real → Nat → Nat