
  TYPE
    sft$operation_result = (sfc$or_successful, sfc$or_unsuccessful);

