Documentation

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