type status
-val initial_status: Entity.uri_generator -> status
+val initial_status: unit -> status
-val crg_of_txt: (status -> 'a) -> (status -> Crg.entity -> 'a) ->
- status -> Txt.entity -> 'a
+val refresh_status: status -> status
+
+val crg_of_txt: (status -> 'a) -> (status -> Crg.entity -> 'a) ->
+ (Txt.command -> unit) -> status -> Txt.command -> 'a