Documentation

treeGeneratorExample :: forall ext size prec prim. (Num size, Floating prec, SizeType ext ~ size, PrecType ext ~ prec, ext ~ Primitive prim, QAmplify size prec :<: prim, SizeToPrec size prec) => size -> size -> size -> size -> prec -> Program ext #