set_option trace.Elab.definition.body true

infix:45 "+++" => Nat.add
