module Dummy: sig .. end
sig
end
type u = string -> string
string -> string
val create : 'a -> 'b -> 'c -> 'c
'a -> 'b -> 'c -> 'c
val translate : (string -> 'a) -> bool -> string -> (string * int) option -> 'a
(string -> 'a) -> bool -> string -> (string * int) option -> 'a