1/1: Building Test (Test.idr)
LOG debug:0: term with infix: a `op` b
