path: root/tests/ffisub.urs

structure S : sig
  type t
end

val x : S.t