Smart.Have
type 'uid t = private 'uid list * [ `Done | `Flush ]
val have : cmd:[ `Done | `Flush ] -> 'uid list -> 'uid t