module Dummy: sig .. end
sig
end
type encoding = string
string
type u =
|
()
val create : 'a -> 'b -> 'c -> u
'a -> 'b -> 'c -> u
val recode : u -> 'a -> 'a
u -> 'a -> 'a