fact: Definition proj_cons : rules := let Vxy := Vcast (Vcons (Var 0) (Vcons (Var 1) Vnil)) cons_arity in mkRule (Fun (Cons Sig) Vxy) (Var 0) :: mkRule (Fun (Cons Sig) Vxy) (Var 1) :: nil.
imports: CoLoR(ATrs VecUtil ListUtil LogicUtil NatUtil RelUtil)