* @param module
   * @param enforceshadowingP
   * @return Cons
   */
  public static Cons lookupVisibleSymbolsInModule(String name, Module module, boolean enforceshadowingP) {
    { Cons visiblesymbols = Stella.yieldVisibleRigidSymbolsWrtModule(name, module, Stella.SYMBOL_SYM);

      if (enforceshadowingP &&
          (!(visiblesymbols.rest == Stella.NIL))) {
        return (((Cons)(Cons.removeShadowedSymbols(visiblesymbols))));
      }
      else {
        return (((Cons)(visiblesymbols)));
      }
    }
  }