:- module pred_overloading_r_2.

:- interface.

:- import_module io.

:- type t == int.

:- pred p(float::in, io__state::di, io__state::uo) is det.

:- implementation.
	
p(X) --> io__write_float(X), io__nl.

