Module Sek.SupplyDefault

Parameters

module S : sig ... end
module D : sig ... end

Signature

type side = S.side
val front : S.side
val back : S.side
val other : S.side -> S.side
type direction = S.direction
val forward : S.direction
val backward : S.direction
val opposite : S.direction -> S.direction
val sign : S.direction -> int
exception Empty
exception End
val snapshot : 'a S.Ephemeral.t -> 'a S.Persistent.t
val snapshot_and_clear : 'a S.Ephemeral.t -> 'a S.Persistent.t
val edit : 'a S.Persistent.t -> 'a S.Ephemeral.t
val released : unit -> unit
module Ephemeral : sig ... end
module Persistent : sig ... end
module E = Ephemeral
module P = Persistent
module Emulated : sig ... end