Lines Matching defs:order
285 (* First-order *)
300 (* Higher-order *)
315 (* Higher-order with rules for combinator reductions and booleans *)
351 fun class_str First = "first-order"
352 | class_str Higher = "higher-order"
353 | class_str Full = "higher-order + combinators";
404 fun order (cl,_) [] = cl
405 | order (cl,cs) (fm :: fms) =
411 order (order_cl (cl, cs, empty, mk_set ts, mk_set vs) cls) fms
414 fun classify fms = order (First,empty) fms