\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-val alpha: Entity.names -> Entity.attrs -> Entity.attrs
+val alpha: ((unit -> Entity.node_attrs) -> (unit -> Entity.node_attrs) ->
+ 'a -> Entity.node_attrs -> Entity.node_attrs
+ ) ->
+ 'a -> Entity.node_attrs -> Entity.node_attrs