思い出したように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"

さては、静的に解決されるのは型だけで、実際には書式文字列をインタープリットしてやがりますねこれは……。