let
equal (var1: var) (var2: var) : bool =
var1 == var2