parser-theory
0.20.9
common
parser-theory
/
it.unibo.tuprolog.theory.parsing
/
parseAsTheory
parse
As
Theory
common
fun
String
.
parseAsTheory
(
operators
:
<ERROR CLASS>
)
:
<ERROR CLASS>
Content copied to clipboard
fun
String
.
parseAsTheory
(
)
:
<ERROR CLASS>
Content copied to clipboard