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