Function mk_const

examples/05_knuckledragger/python/main.py:35–36

(s: str)

        return n

    def mk_const(s: str):
        return Expr.const(mk_name(s), [])

    def mk_nat(n: int):
        return Expr.app(