+val update :
+ ('a array -> 'a array -> 'a array -> Tree.node -> code -> unit) ->
+ 'a array cache -> Ata.t -> Translist.t -> StateSet.t -> StateSet.t ->
+ 'a array -> 'a array -> 'a array -> Tree.t -> Tree.node -> StateSet.t * 'a array
+
+val count_exec : NodeSet.Count.t array -> NodeSet.Count.t array -> NodeSet.Count.t array -> Tree.node -> code -> unit
+val mat_exec : NodeSet.Mat.t array -> NodeSet.Mat.t array -> NodeSet.Mat.t array -> Tree.node -> code -> unit