1: # 835 "./lpsrc/flx_types.ipk" 2: open Flx_mtypes1 3: 4: type partial_order_result_t = 5: [ 6: | `Less 7: | `Equal 8: | `Greater 9: | `Incomparable 10: ] 11: 12: