Function mk_name

examples/04_sympy_tactic/python/main.py:29–34

(s: str)

    # Helper: build a Lean.Name from a dotted string
    def mk_name(s: str):
        parts = s.split(".")
        n = Name.anonymous
        for p in parts:
            n = Name.str(n, p)
        return n

    # Helper: build an elaborated const
    def mk_const(s: str):