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