module UChar: module type of UCharImpl with type t = UCharImpl.t
module type of UCharImpl
with type t = UCharImpl.t