theory
0.20.9
theory
/
it.unibo.tuprolog.theory
/
RetractResult
/
Failure
/
Failure
Failure
fun
<
T
:
Theory
>
Failure
(
theory
:
T
)
Content copied to clipboard