aboutsummaryrefslogblamecommitdiffstats
path: root/lib/protocols/Session.mli
blob: 42c508cff25a4c1735ffc9372e0da3bd39807e1c (plain) (tree)
1
2
3
4
5
6
7
8
9
10









                                                           

                                             
type state = {branch: string; snapshot: Concepts.Hash.hash}
type t

class type implementation = object
  method state : state
  method pin : state -> unit
end

val make : #implementation -> Handle.protocol
val from : Handle.t -> t Handle.interface option
val state : t Handle.interface -> state
val pin : t Handle.interface -> state -> unit