Pretty.Decompile
X : TABLE
S : S
val decompile : (X.key -> [ `T of (S.t * X.key) list * bool | `Eps of S.t * X.key ]) -> X.key -> S.t regexp