Module Universal.Strings

module Powerset : sig ... end

Constant strings abstraction