Lines Matching defs:func
522 fun func fs [] = fs
523 | func fs (True :: fms) = func fs fms
524 | func fs (False :: fms) = func fs fms
525 | func fs (Atom (Var _) :: fms) = func fs fms
526 | func fs (Atom (Fn (_, tms)) :: fms) = func (fnc fs tms) fms
527 | func fs (Not p :: fms) = func fs (p :: fms)
528 | func fs (And (p, q) :: fms) = func fs (p :: q :: fms)
529 | func fs (Or (p, q) :: fms) = func fs (p :: q :: fms)
530 | func fs (Imp (p, q) :: fms) = func fs (p :: q :: fms)
531 | func fs (Iff (p, q) :: fms) = func fs (p :: q :: fms)
532 | func fs (Forall (_, p) :: fms) = func fs (p :: fms)
533 | func fs (Exists (_, p) :: fms) = func fs (p :: fms);
535 val functions = func [] o sing;