IMPLEMENTATION MODULE ArchTypes;
(*  Null implementation *)
BEGIN
END ArchTypes .