sig module Send : Datum module Recv : Datum module Remote_name : Name module My_name : Name module Mode : Mode end