kdrag.theories.sexp.of_sexp

kdrag.theories.sexp.of_sexp(sexp: Sexp) → ExprRef

>>> of_sexp(['a', ['b', 'c']])
List(Concat(Unit(Atom("a")),
            Unit(List(Concat(Unit(Atom("b")),
                             Unit(Atom("c")))))))

Parameters:

sexp (Sexp)

Return type:

ExprRef