Function rate_function_ty 

pub fn rate_function_ty() -> Expr

RateFunction : Distribution α → (α → Real) → Prop — the large-deviation rate function I satisfying the LDP.