let str_level_option opt = match opt with | T.DontSlice -> "DontSlice" | T.DontSliceButComputeMarks -> "DontSliceButComputeMarks" | T.MinNbSlice -> "MinNbSlice" | T.MaxNbSlice -> "MaxNbSlice"