Module Smart.Commands

type ('uid, 'ref) command = private
  1. | Create of 'uid * 'ref
  2. | Delete of 'uid * 'ref
  3. | Update of 'uid * 'uid * 'ref
type ('uid, 'ref) t
val create : 'uid -> 'ref -> ('uid, 'ref) command
val delete : 'uid -> 'ref -> ('uid, 'ref) command
val update : 'uid -> 'uid -> 'ref -> ('uid, 'ref) command
val capabilities : ('uid, 'ref) t -> Capability.t list
val v : capabilities:Capability.t list -> ?others:('uid, 'ref) command list -> ('uid, 'ref) command -> ('uid, 'ref) t
val commands : ('uid, 'ref) t -> ('uid, 'ref) command list
val pp : 'uid Fmt.t -> 'ref Fmt.t -> ('uid, 'ref) t Fmt.t
val map : fuid:('uid0 -> 'uid1) -> fref:('ref0 -> 'ref1) -> ('uid0, 'ref0) t -> ('uid1, 'ref1) t