Module Decl.Notification

type 'payload gen
val make_gen : conv:'wire Conv.value -> upgrade:('wire -> 'model) -> downgrade:('model -> 'wire) -> version:Method.Version.t -> 'model gen
val make_current_gen : conv:'a Conv.value -> version:Method.Version.t -> 'a gen
type 'a t
val make : method_:Method.Name.t -> generations:'payload gen list -> 'payload t
val print_generations : 'payload t -> unit
type 'a witness
val witness : 'a t -> 'a witness