Lines Matching defs:system
541 fun raw_meson system goals depth =
544 foldl (uncurry (meson_expand system)) (meson_finally goals) (rev goals)
551 type 'a system =
557 fun mk_system parm units meter rules : 'a system =
580 val system as {saturated = b, ...} = mk_system parm units slice ruls
585 raw_meson system q d)
608 val system as {saturated = b, ...} = mk_system parm units slice ruls
614 S.map (K NONE) (raw_meson system [g] d))
635 val system = mk_system parm units slice (prolog_rules parm thms hyps)
642 fn goals => g (raw_meson system goals prolog_depth)