Clarifying documentation for the split predicate method + reorder input_values fields

REPROSEC / dolev-yao-star-extrinsic

DY* with extrinsic proofs

https://reprosec.org/

Mozilla Public License 2.0

8 stars 0 forks source link

Clarifying documentation for the split predicate method + reorder input_values fields #26

Closed cwaldm closed 1 month ago

cwaldm commented 1 month ago

Fixing https://github.com/REPROSEC/dolev-yao-star-extrinsic/issues/12.

I also re-ordered the record fields of split_predicate_input_values to match the order in the 2 instance definitions (State.Tagged and Event.Typed).