:- module type_spec_rename_var_r.

:- interface.

:- import_module io.

:- pred main(io__state::di, io__state::uo) is det.

:- implementation.

:- import_module type_spec_rename_var_r_2.

main -->
	{ p(1, 2.0, Result) },
	io__write(Result),
	io__nl.
