\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-type 'a status
+type status
-val initial_status: 'a Entity.uri_generator -> 'a status
+val initial_status: Entity.uri_generator -> status
-val drg_of_aut: ('a status -> 'a) -> ('a status -> Drg.entity -> 'a) ->
- 'a status -> Aut.entity -> 'a
+val drg_of_aut: (status -> 'a) -> (status -> Drg.entity -> 'a) ->
+ status -> Aut.entity -> 'a