Module Smart.HaveSource

Sourcetype 'uid t = private 'uid list * [ `Done | `Flush ]
Sourceval have : cmd:[ `Done | `Flush ] -> 'uid list -> 'uid t