kdrag.theories.option.OptionSort

kdrag.theories.option.OptionSort(T: SortRef) → DatatypeSortRef

Define an Option type for a given type T >>> OInt = OptionSort(smt.IntSort()) >>> OInt.Some(1) Some(1) >>> OInt.None_ None_ >>> OInt.Some(1).val val(Some(1))