Module `Vcs.Make`Source

Parameters

module OT : Map.OrderedType

module K : Kind

Signature

Sourcemodule Branch : sig ... end

Sourcetype id = OT.t

Sourcetype 'a kind_gen = 'a K.t

Sourcetype kind = Branch.t kind_gen

Sourcetype branch_info = {

kind : kind;
root : id;
pos : id;

}

Sourcetype ('diff, 'info, 'property_data) t

Sourceval empty : id -> ('diff, 'info, 'property_data) t

Sourceval current_branch : ('e, 'i, 'c) t -> Branch.t

Sourceval branches : ('e, 'i, 'c) t -> Branch.t list

Sourceval get_branch : ('e, 'i, 'c) t -> Branch.t -> branch_info

Sourceval reset_branch : ('e, 'i, 'c) t -> Branch.t -> id -> ('e, 'i, 'c) t

Source

val branch : 
  ('e, 'i, 'c) t ->
  ?root:id ->
  ?pos:id ->
  Branch.t ->
  kind ->
  ('e, 'i, 'c) t

Sourceval delete_branch : ('e, 'i, 'c) t -> Branch.t -> ('e, 'i, 'c) t

Source

val merge : 
  ('diff, 'i, 'c) t ->
  id ->
  ours:'diff ->
  theirs:'diff ->
  ?into:Branch.t ->
  Branch.t ->
  ('diff, 'i, 'c) t

Sourceval commit : ('diff, 'i, 'c) t -> id -> 'diff -> ('diff, 'i, 'c) t

Source

val rewrite_merge : 
  ('diff, 'i, 'c) t ->
  id ->
  ours:'diff ->
  theirs:'diff ->
  at:id ->
  Branch.t ->
  ('diff, 'i, 'c) t

Sourceval checkout : ('e, 'i, 'c) t -> Branch.t -> ('e, 'i, 'c) t

Sourceval set_info : ('e, 'info, 'c) t -> id -> 'info -> ('e, 'info, 'c) t

Sourceval get_info : ('e, 'info, 'c) t -> id -> 'info option

Source

module 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 : ('diff, 'info, 'cdata) t -> ('diff, 'info, 'cdata) Dag.t

Sourceval create_property : ('e, 'i, 'c) t -> id list -> 'c -> ('e, 'i, 'c) t

Sourceval property_of : ('e, 'i, 'c) t -> id -> 'c Dag.Property.t list

Sourceval delete_property : ('e, 'i, 'c) t -> 'c Dag.Property.t -> ('e, 'i, 'c) t

Sourceval gc : ('e, 'info, 'c) t -> ('e, 'info, 'c) t * Dag.NodeSet.t

Sourceval reachable : ('e, 'info, 'c) t -> id -> Dag.NodeSet.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/coq-core.stm/Vcs/Make/index.html

Module `Vcs.Make`Source

Parameters

Signature

package coq-core

Install

Dune Dependency

Authors

Maintainers

Sources

doc/coq-core.stm/Vcs/Make/index.html

Module Vcs.MakeSource

Parameters

Signature

Module `Vcs.Make`Source