Module Sek.SupplyDefault
Parameters
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