package Ġy uk u . alk it ab . datat rans fer . process Ċ Ċ import Ġy uk u . alk it ab . base . util . History Ċ import Ġy uk u . alk it ab . datat rans fer . model . Pin Ċ import Ġy uk u . alk it ab . datat rans fer . model . Rpp Ċ import Ġy uk u . alk it ab . model . Label Ċ import Ġy uk u . alk it ab . model . Marker Ċ import Ġy uk u . alk it ab . model . Marker _ Label ĊĊ Ċ interface ĠRead Write Storage Interface Ġ: ĠReadonly Storage Interface Ġ{ ĊĠĠĠ Ġfun Ġinterface ĠTx Handle Ġ{ ĊĠĠĠĠĠĠĠ Ġfun Ġcommit () ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġfun Ġtrans act ( action : Ġ( Tx Handle ) Ġ-> ĠUnit ) ĊĊĠĠĠ Ġfun Ġreplace History ( entries : ĠList < History . Entry >) ĊĊĠĠĠ Ġfun Ġreplace Marker ( marker : ĠMarker ) ĊĊĠĠĠ Ġfun Ġreplace Label ( label : ĠLabel ) ĊĊĠĠĠ Ġfun Ġreplace Marker Label ( marker Label : ĠMarker _ Label ) ĊĊĠĠĠ Ġfun Ġreplace Pin ( pin : ĠPin ) ĊĊĠĠĠ Ġfun Ġreplace Rpp ( r pp : ĠR pp ) Ċ } Ċ