kdrag.datatype.constructor_num

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

  • s (DatatypeSortRef)

  • k (str)

Return type:

int