kdrag.theories.list.Nil

kdrag.theories.list.Nil(sort: SortRef) → DatatypeRef

Helper to construct Nil values >>> Nil(smt.IntSort()) Nil

Parameters:

sort (SortRef)

Return type:

DatatypeRef