- -- propagate :: OptimizationFuel -> G.ZHead m -> a -> G.ZTail m l ->
- -- BlockEnv (Block m l) -> DFM a (OptimizationFuel, G.LGraph m l)
+ -- propagate :: OptimizationFuel
+ -- -> G.ZHead m -- Part of current block yet to be rewritten
+ -- -> a -- Fact on edge between head and tail
+ -- -> G.ZTail m l -- Part of current block already rewritten
+ -- -> BlockEnv (Block m l) -- These blocks have been rewritten
+ -- -> DFM a (OptimizationFuel, G.LGraph m l)