fact: Record UpdateRec {Val: Type} := { sender_node: NId; sender_dep: NId -> Clock }.
imports: Coq(FunctionalExtensionality List Bool Program.Basics) Coq(Arith Arith.Peano_dec Arith.Compare_dec) Chapar(Predefs extralib KVStore)