Method
__init__
(
self,
type_name: str,
accessor_name: str,
domain: tuple[SortRef, ...],
field_sort: SortRef,
)
Source from the content-addressed store, hash-verified
| 991 | __slots__ = ("_type_name", "_accessor_name", "_field_sort") |
| 992 | |
| 993 | def __init__( |
| 994 | self, |
| 995 | type_name: str, |
| 996 | accessor_name: str, |
| 997 | domain: tuple[SortRef, ...], |
| 998 | field_sort: SortRef, |
| 999 | ) -> None: |
| 1000 | super().__init__(accessor_name, domain, field_sort) |
| 1001 | self._type_name = type_name |
| 1002 | self._accessor_name = accessor_name |
| 1003 | self._field_sort = field_sort |
| 1004 | |
| 1005 | def __call__(self, *args: ExprRef) -> ExprRef: |
| 1006 | if len(args) != 1: |
Callers
nothing calls this directly
Tested by
no test coverage detected