package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

module Branch : sig ... end
type id = OT.t
type !'a branch_info = {
  1. kind : 'a;
  2. root : id;
  3. 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