kdrag.datatype.accessor_num

kdrag.datatype.accessor_num(s: DatatypeSortRef, constr_num: int, k: str) → int
Parameters:

  • s (DatatypeSortRef)

  • constr_num (int)

  • k (str)

Return type:

int