#import nat #import flo pop_stats("mu","sigma") = plus/*"mu"+ times/*"sigma"+ Z*+ iota sample_stats("mu","sigma") = plus^*D(minus/"mu"+ mean,~&)+ vid^*D(div\"sigma"+ stdev,~&)+ Z*+ iota #cast %eWL test = ^(mean,stdev)* < pop_stats(1.,0.5) 1000, sample_stats(1.,0.5) 1000>