module X {
  public func f() { g() };
  func g() { f() };
  let y : Nat = 2;
  type U = Int;
  public type T = U;
};

type Ok = X.T;