# Code generated by Lark OpenAPI.

from typing import Any, Optional, Union, Dict, List, Set, IO, Callable, Type
from lark_oapi.core.construct import init


class ProofContext(object):
    _types = {
        "prefix": str,
        "content": str,
        "suffix": str,
    }

    def __init__(self, d=None):
        self.prefix: Optional[str] = None
        self.content: Optional[str] = None
        self.suffix: Optional[str] = None
        init(self, d, self._types)

    @staticmethod
    def builder() -> "ProofContextBuilder":
        return ProofContextBuilder()


class ProofContextBuilder(object):
    def __init__(self) -> None:
        self._proof_context = ProofContext()

    def prefix(self, prefix: str) -> "ProofContextBuilder":
        self._proof_context.prefix = prefix
        return self

    def content(self, content: str) -> "ProofContextBuilder":
        self._proof_context.content = content
        return self

    def suffix(self, suffix: str) -> "ProofContextBuilder":
        self._proof_context.suffix = suffix
        return self

    def build(self) -> "ProofContext":
        return self._proof_context