EOpositive_infinity$EOdiv (eo-runtime 0.49.0 API)

java.lang.Object
- org.eolang.PhDefault
- - EOorg.EOeolang.EOpositive_infinity$EOdiv

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

public final class EOpositive_infinity$EOdiv
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
  
  EOpositive_infinity$EOdiv()
- Method Summary
  - Methods inherited from class org.eolang.PhDefault
    add, 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
  - EOpositive_infinity$EOdiv
```
public EOpositive_infinity$EOdiv()
```