kdrag.cast

Functions

cast(s, e)
cast_dt(dt, e)	Simple field name based downcasting between two struct-like datatypes
subsort(s, t)

kdrag.cast.cast(s: SortRef, e: object) → ExprRef

Parameters:

• s (SortRef)

• e (object)

Return type:

ExprRef

kdrag.cast.cast_dt(dt: DatatypeSortRef, e: DatatypeRef) → DatatypeRef

Simple field name based downcasting between two struct-like datatypes

Parameters:

• dt (DatatypeSortRef)

• e (DatatypeRef)

Return type:

DatatypeRef

kdrag.cast.subsort(s: SortRef, t: SortRef) → bool

Parameters:

• s (SortRef)

• t (SortRef)

Return type:

bool