parse

fun Theory.Companion.parse(input: String, operators: OperatorSet): Theory
Content copied to clipboard
fun Theory.Companion.parse(input: String): Theory
Content copied to clipboard