interface TheoryDeobjectifier: Deobjectifier<Theory>, Any
CompanionObject
TheoryDeobjectifier
interface TheoryDeobjectifier: Deobjectifier<Theory>, Any
Fields
| Name | Description |
|---|---|
val default: TheoryDeobjectifier
|
interface TheoryDeobjectifier: Deobjectifier<Theory>, Any
interface TheoryDeobjectifier: Deobjectifier<Theory>, Any
Fields
| Name | Description |
|---|---|
val default: TheoryDeobjectifier
|