Method
__init__
(
self,
type_name: str,
ctor_name: str,
domain: tuple[SortRef, ...],
result_sort: SortRef,
)
Source from the content-addressed store, hash-verified
| 959 | __slots__ = ("_type_name", "_ctor_name", "_result_sort") |
| 960 | |
| 961 | def __init__( |
| 962 | self, |
| 963 | type_name: str, |
| 964 | ctor_name: str, |
| 965 | domain: tuple[SortRef, ...], |
| 966 | result_sort: SortRef, |
| 967 | ) -> None: |
| 968 | super().__init__(ctor_name, domain, result_sort) |
| 969 | self._type_name = type_name |
| 970 | self._ctor_name = ctor_name |
| 971 | self._result_sort = result_sort |
| 972 | |
| 973 | def __call__(self, *args: ExprRef) -> DatatypeRef: |
| 974 | if len(args) != len(self._domain): |
Callers
nothing calls this directly
Tested by
no test coverage detected