coq 8.7.2 · OCaml Package

module Branch : sig ... end

type id

type !'a branch_info = {

kind : 'a;
root : id;
pos : id;

} constraint 'a = [> `Master ]

type ('a, 'diff, 'info, 'property_data) t constraint 'a = [> `Master ]

val empty : id -> ([> `Master ], 'diff, 'info, 'property_data) t

val current_branch : ([> `Master ], 'e, 'i, 'c) t -> Branch.t

val branches : ([> `Master ], 'e, 'i, 'c) t -> Branch.t list

val get_branch : 
  ([> `Master ] as 'a, 'e, 'i, 'c) t ->
  Branch.t ->
  'a branch_info

val reset_branch : 
  ([> `Master ] as 'a, 'e, 'i, 'c) t ->
  Branch.t ->
  id ->
  ('a, 'e, 'i, 'c) t

val branch : 
  ([> `Master ] as 'a, 'e, 'i, 'c) t ->
  ?root:id ->
  ?pos:id ->
  Branch.t ->
  'a ->
  ('a, 'e, 'i, 'c) t

val delete_branch : 
  ([> `Master ] as 'a, 'e, 'i, 'c) t ->
  Branch.t ->
  ('a, 'e, 'i, 'c) t

val merge : 
  ([> `Master ] as 'a, 'diff, 'i, 'c) t ->
  id ->
  ours:'diff ->
  theirs:'diff ->
  ?into:Branch.t ->
  Branch.t ->
  ('a, 'diff, 'i, 'c) t

val commit : 
  ([> `Master ] as 'a, 'diff, 'i, 'c) t ->
  id ->
  'diff ->
  ('a, 'diff, 'i, 'c) t

val rewrite_merge : 
  ([> `Master ] as 'a, 'diff, 'i, 'c) t ->
  id ->
  ours:'diff ->
  theirs:'diff ->
  at:id ->
  Branch.t ->
  ('a, 'diff, 'i, 'c) t

val checkout : 
  ([> `Master ] as 'a, 'e, 'i, 'c) t ->
  Branch.t ->
  ('a, 'e, 'i, 'c) t

val set_info : 
  ([> `Master ] as 'a, 'e, 'info, 'c) t ->
  id ->
  'info ->
  ('a, 'e, 'info, 'c) t

val get_info : ([> `Master ], 'e, 'info, 'c) t -> id -> 'info option

module Dag : sig ... end

val dag : 
  ([> `Master ], 'diff, 'info, 'cdata) t ->
  ('diff, 'info, 'cdata) Dag.t

val create_property : 
  ([> `Master ] as 'a, 'e, 'i, 'c) t ->
  id list ->
  'c ->
  ('a, 'e, 'i, 'c) t

val property_of : ([> `Master ], 'e, 'i, 'c) t -> id -> 'c Dag.Property.t list

val delete_property : 
  ([> `Master ] as 'a, 'e, 'i, 'c) t ->
  'c Dag.Property.t ->
  ('a, 'e, 'i, 'c) t

val gc : 
  ([> `Master ] as 'a, 'e, 'info, 'c) t ->
  ('a, 'e, 'info, 'c) t * Dag.NodeSet.t

val reachable : ([> `Master ], 'e, 'info, 'c) t -> id -> Dag.NodeSet.t

package coq