# Copyright (c) 2016-2022 Knuth Project developers.
# Distributed under the MIT software license, see the accompanying
# file COPYING or http://www.opensource.org/licenses/mit-license.php.


class Result:
    def __init__(self, obj, ok):
        self.obj = obj
        self.ok = ok
