Module txid_on_cseq

client_key() = [unicode_char()]

txid() = rt_chord:key()

txid_entry() = 
    {txid(),
     comm:mypid(),
     [client_key()],
     erlang:timestamp(),
     open | commit | abort}

unicode_char() = 0..55295 | 57344..65533 | 65536..1114111

read(Key :: txid(), ReplyTo :: comm:erl_local_pid()) -> ok

new(Key :: txid(),
    InvolvedKeys :: [client_key()],
    ReplyTo :: comm:erl_local_pid()) ->
       ok

decide(Key :: txid(),
       Decision :: commit | abort,
       ReplyTo :: comm:erl_local_pid(),
       Round :: pr:pr(),
       OldVal :: any()) ->
          ok

delete(Key :: txid(), ReplyTo :: comm:erl_local_pid()) -> ok

is_valid_new(ExistingEntry :: prbr_bottom | txid_entry(),
             WriteFilter :: prbr:write_filter(),
             New :: txid_entry()) ->
                {boolean(), null}

is_valid_decide(ExistingEntry :: prbr_bottom | txid_entry(),
                WriteFilter :: prbr:write_filter(),
                Decision :: commit | abort) ->
                   {boolean(), null}

is_valid_delete(ExistingEntry :: prbr_bottom | txid_entry(),
                WriteFilter :: prbr:write_filter(),
                New :: prbr_bottom) ->
                   {boolean(), null}

wf_decide(Old :: txid_entry(),
          X2 :: null,
          Decision :: commit | abort) ->
             txid_entry()