Module SupplyDefault.SupplyDefault
Parameters
S : Sek__.PublicSignature.SEK
D : sig ... end
Signature
type 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
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