:- module add_type_re.

:- interface.

:- import_module io.

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

:- implementation.

:- import_module add_type_re_2.

main -->
	{ init_foo(X) },
	output_foo(X),
	{ init_bar(Y) },
	output_bar(Y).

:- type bar == float.

:- pred init_bar(float::out) is det.

init_bar(1.0).

:- pred output_foo(foo::in, io__state::di, io__state::uo) is det.
	
output_foo(X) --> io__write(X), io__nl.

:- pred output_bar(bar::in, io__state::di, io__state::uo) is det.

output_bar(X) --> io__write(X), io__nl.
