kdrag.theories.option.is_option

kdrag.theories.option.is_option(x: DatatypeRef) → bool

Check if a value is an Option >>> is_option(Some(42)) True >>> is_option(42) False