path: root/tests/subs_str.urs

structure M : sig
        type t
end

val x : M.t