EOset$EOinitialized$EOhas (eo-runtime 0.41.0 API)

java.lang.Object
- org.eolang.PhDefault
- - EOorg.EOeolang.EOstructs.EOset$EOinitialized$EOhas

All Implemented Interfaces:: Cloneable, Data, Phi, Term

public final class EOset$EOinitialized$EOhas
extends PhDefault

- Nested Class Summary
  - Nested classes/interfaces inherited from interface org.eolang.Data
    Data.ToPhi
- Field Summary
  - Fields inherited from interface org.eolang.Phi
    Φ
  - Fields inherited from interface org.eolang.Term
    EMPTY
- Constructor Summary
  
  Constructors
  Constructor Description
  
  EOset$EOinitialized$EOhas()
- Method Summary
  - Methods inherited from class org.eolang.PhDefault
    add, attach, copy, delta, equals, forma, hashCode, locator, put, put, take, toString, φTerm
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - EOset$EOinitialized$EOhas
```
public EOset$EOinitialized$EOhas()
```