kdrag.theories.sexp.parse

kdrag.theories.sexp.parse(s: str) → ExprRef

Parse a string as an s-expression.

>>> parse("(a b (c d))")
List(Unit(List(Concat(Unit(Atom("a")),
                    Concat(Unit(Atom("b")),
                            Unit(List(Concat(Unit(Atom("c")),
                                    Unit(Atom("d"))))))))))

Parameters:

s (str)

Return type:

ExprRef