Cacher is the code snippet organizer for pro developers

let is_clock msg = match msg with Some(Clock _) -> true| _ -> false 
let is_twist msg = match msg with Some(Twist _) -> true| _ -> false 

theorem clock_creates_outbound state =
  is_clock state.incoming ==> is_twist (one_step state).outgoing