(*
val matchSignature : BasicIO.outstream -> (string *int) list -> Units.CSig -> Units.CSig -> unit;
*)
val matchSignature : BasicIO.outstream -> (string * int) list -> Units.CSig -> Units.CSig -> (string * int) list;
