Module PckSource

Sourcetype 'uid commit = {
  1. root : 'uid;
  2. preds : 'uid list;
}
Sourcetype none =
  1. | Leaf
Sourcetype ('uid, 'preds) kind
Sourceval commit : ('uid, 'uid commit) kind
Sourceval tree : ('uid, 'uid list) kind
Sourceval blob : ('uid, none) kind
Sourceval tag : ('uid, 'uid) kind
Sourcetype 'uid t
Sourceval make : kind:('uid, 'preds) kind -> 'preds -> ?ts:int64 -> 'uid -> 'uid t
Sourceval get_limits : compare:('uid -> 'uid -> int) -> ('uid * 'ref * bool) list -> ('uid, 'ref) Smart.Commands.command list -> 'uid list * 'uid list
Sourceval commands : 's Sigs.scheduler -> capabilities:Smart.Capability.t list -> equal:('ref -> 'ref -> bool) -> deref:('store -> 'ref -> ('uid option, 's) Sigs.io) -> 'store -> [ `Create of 'ref | `Delete of 'ref | `Update of 'ref * 'ref ] list -> ('uid * 'ref * bool) list -> (('uid, 'ref) Smart.Commands.t option, 's) Sigs.io
Sourceval get_uncommon_objects : 's Sigs.scheduler -> compare:('uid -> 'uid -> int) -> ('uid, 'ref, 'uid t, 'g, 's) Sigs.access -> ('uid, 'uid t, 'g) Sigs.store -> exclude:'uid list -> sources:'uid list -> ('uid list, 's) Sigs.io