printing partial defs

Stream: lean4

[Eric Rodriguez]

Is there any way to #print a partial def? It seems to work fine for unsafe defs, but I guess they aren't opaquified but instead just banned from using in proofs

[Eric Rodriguez]

(bonus amazing points if I can turn off do delaborating, because I'm just curious about what lies underneath :])