Semantics of HIR


→ top