functor PRAC1( structure I: Integer and R: Real and S: String ) = struct structure Integer = I and Real = R and String = S; open I; end;