pub fn time_complexity_ty() -> Expr
TimeComplexity : (Nat → Nat) → Type Represents a function f : ℕ → ℕ as a time bound