Function green_function_ty 

pub fn green_function_ty() -> Expr

GreenFunction : MarkovChain → Nat → Nat → Real — the expected number of visits to state j starting from i: G(i,j) = Σ_{t≥0} P^t(i,j).