kdrag.theories.option.Option

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

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