public Property pApplyMultiple_F5Test()
{
return(Prop.ForAll <Tuple <byte, double, DateTime, bool, int> >(t => {
var(a, b, c, d, e) = t;
var fap = F5.pApply3(c).pApply4(e).pApply1(a).pApply1(b);
return F5(a, b, c, d, e) == fap(d);
}));
}
public Property pApply3_F5Test()
{
return(Prop.ForAll <Tuple <byte, double, DateTime, bool, int> >(t => {
var(a, b, c, d, e) = t;
var fap = F5.pApply3(c);
return F5(a, b, c, d, e) == fap(a, b, d, e);
}));
}
