LARA Type Rules for Statements and Expressions Type Rule for Method Calls Method calls are just function applications: Type Rule for Assignment Answer: Type Rule for If Statement Answer: Type Rule for Conditional Expression Answer: Type Rule for While Statement Answer: