# Var --- ```text Var[[SYMBOL | SCOPE | ARG | LOCAL | LOOP | IF | MATCH | MUTATE] TYPE; LEFT_VAR; RIGHT_VAR; IDENTIFIER] ``` ## Type Body Object Definition ```c typedef struct { kpl_type *type, *tree_left, *tree_right; kpl_identifier identifier; } kpl_type_body_var; ``` ## Function Vars Each var in a function belongs to a scope within that function ```text var -> list -> function ```