Lines Matching defs:bound
2158 datatype bound = LE_BOUND of Arbnum.num
2184 "can't compute bound"
2242 | _ => raise ERR "mk_bounds_thm" "can't compute bound"
2260 | _ => raise ERR "mk_bounds_thm" "can't compute bound"
2275 raise ERR "mk_bounds_thm" "can't compute bound"
2283 raise ERR "mk_bounds_thm" "can't compute bound"
2301 raise ERR "mk_bounds_thm" "can't compute bound"
2319 raise ERR "mk_bounds_thm" "can't compute bound"
2321 | _ => raise ERR "mk_bounds_thm" "can't compute bound"
2342 | _ => raise ERR "mk_bounds_thm" "can't compute bound"
2359 | _ => raise ERR "mk_bounds_thm" "can't compute bound"
2384 | _ => raise ERR "mk_bounds_thm" "can't compute bound"
2414 "can't compute bound"
2418 raise ERR "mk_bounds_thm" "can't compute bound"
2431 "can't compute bound"