let
pretty fmt m =
match
m
with
|
T
.
Cav
d
->
D
.pretty fmt d
|
T
.
Spare
->
Format
.fprintf fmt
"[ S ]"