parseStruct

open fun parseStruct(input: String, operators: OperatorSet): Struct

Parses input as a Struct using operators.

Throws

if parsing fails

if the parsed term is not a Struct


open fun parseStruct(input: String): Struct

Throws

if parsing fails