a = object.functionName

b = object.functionName()

leq : int * int -> bool
leq (a, b) = a <= b

leq some_pair = some_pair.1 <= some_pair.2

say_hi : Unit -> string
say_hi a = "Hi buddy!"

variable

launch_nukes()

void *func_factory(void)
{
        return 0;
}

void *(*ff)(void);

void example()
{
        ff = func_factory;
        ff = func_factory();
}

a = 5
b = a
...

c = X