Function value_function_ty 

pub fn value_function_ty() -> Expr

ValueFunction : (Nat -> Nat) -> Nat -> Real V^π(s) = E[∑ γ^t r_t | s_0=s, π]. Maps policy and state to a real value.