Module Validated_string_intf

module type S = sig ... end
module type X = sig ... end