printing the wire definition in elabmod.ml