%-----------------------------------------------------------------------------% :- module foo. :- interface. :- type foo. :- func init_foo = foo. :- pred use_foo(foo::in, foo::out) is det. %-----------------------------------------------------------------------------% %-----------------------------------------------------------------------------% :- implementation. :- type foo == int. init_foo = 1. use_foo(!Foo).