IMPLEMENTATION MODULE ChanConsts;
(* Constants and types only. *)
END ChanConsts.