Module Vcs.MakeSource

Parameters

Signature

Sourcemodule Branch : sig ... end
Sourcetype id = OT.t
Sourcetype 'kind branch_info = {
  1. kind : [> `Master ] as 'kind;
  2. root : id;
  3. pos : id;
}
Sourcetype ('kind, 'diff, 'info, 'property_data) t constraint 'kind = [> `Master ]
Sourceval empty : id -> ('kind, 'diff, 'info, 'property_data) t
Sourceval current_branch : ('k, 'e, 'i, 'c) t -> Branch.t
Sourceval branches : ('k, 'e, 'i, 'c) t -> Branch.t list
Sourceval get_branch : ('k, 'e, 'i, 'c) t -> Branch.t -> 'k branch_info
Sourceval reset_branch : ('k, 'e, 'i, 'c) t -> Branch.t -> id -> ('k, 'e, 'i, 'c) t
Sourceval branch : ('kind, 'e, 'i, 'c) t -> ?root:id -> ?pos:id -> Branch.t -> 'kind -> ('kind, 'e, 'i, 'c) t
Sourceval delete_branch : ('k, 'e, 'i, 'c) t -> Branch.t -> ('k, 'e, 'i, 'c) t
Sourceval merge : ('k, 'diff, 'i, 'c) t -> id -> ours:'diff -> theirs:'diff -> ?into:Branch.t -> Branch.t -> ('k, 'diff, 'i, 'c) t
Sourceval commit : ('k, 'diff, 'i, 'c) t -> id -> 'diff -> ('k, 'diff, 'i, 'c) t
Sourceval rewrite_merge : ('k, 'diff, 'i, 'c) t -> id -> ours:'diff -> theirs:'diff -> at:id -> Branch.t -> ('k, 'diff, 'i, 'c) t
Sourceval checkout : ('k, 'e, 'i, 'c) t -> Branch.t -> ('k, 'e, 'i, 'c) t
Sourceval set_info : ('k, 'e, 'info, 'c) t -> id -> 'info -> ('k, 'e, 'info, 'c) t
Sourceval get_info : ('k, 'e, 'info, 'c) t -> id -> 'info option
Sourcemodule Dag : Dag.S with type node = id with type node = OT.t with type NodeSet.t = Set.Make(OT).t with type NodeSet.elt = OT.t
Sourceval dag : ('kind, 'diff, 'info, 'cdata) t -> ('diff, 'info, 'cdata) Dag.t
Sourceval create_property : ('k, 'e, 'i, 'c) t -> id list -> 'c -> ('k, 'e, 'i, 'c) t
Sourceval property_of : ('k, 'e, 'i, 'c) t -> id -> 'c Dag.Property.t list
Sourceval delete_property : ('k, 'e, 'i, 'c) t -> 'c Dag.Property.t -> ('k, 'e, 'i, 'c) t
Sourceval gc : ('k, 'e, 'info, 'c) t -> ('k, 'e, 'info, 'c) t * Dag.NodeSet.t
Sourceval reachable : ('k, 'e, 'info, 'c) t -> id -> Dag.NodeSet.t