====== module ====== module foo { module bar { import woo predicate baz(); } } --- (ql (moduleMember (module (moduleName (simpleId)) (moduleMember (module (moduleName (simpleId)) (moduleMember (imprt (import) (importModuleExpr (qualModuleExpr (simpleId))))) (moduleMember (classlessPredicate (returnType (predicate)) (predicateName) (empty)))))))) ============ module alias ============ module foo = bar::baz; --- (ql (moduleMember (module (moduleName (simpleId)) (moduleAliasBody (eq) (moduleExpr (moduleExpr (simpleId)) (simpleId))))))