kdrag.theories.option.None_

kdrag.theories.option.None_(T: SortRef) → DatatypeRef

Helper to create Option None_ values >>> None_(smt.IntSort()) None_