kdrag.theories.option.Some

kdrag.theories.option.Some(x: ExprRef) → DatatypeRef

Helper to create Option values >>> Some(42) Some(42) >>> Some(42).sort() Option_Int