import TTFPI.Basic

namespace WeakOmega

end WeakOmega
