Mark an object to print raw, so that we get all the bits

structure Raw (α : Type u_2) : Type u_2

• val : α

def raw {α : Type u_1} (x : α) : Raw α

Equations

• raw x = { val := x }