思い出したようにformatネタ
format/format4/format6は、内部表現stringのままらしい。Obj.magicで元の文字列を取り出せます。
# let fmt = ("%d" : ('a, 'b, 'c, 'd, 'e, 'f) format6);; val fmt : (int -> 'a, 'b, 'c, 'd, 'd, 'a) format6 = <abstr> # (Obj.magic fmt: string);; - : string = "%d"
さては、静的に解決されるのは型だけで、実際には書式文字列をインタープリットしてやがりますねこれは……。