% A reduced test case for bug 245.
:- module bug245.
:- interface.

:- import_module list.
:- import_module type_desc.
:- import_module univ.

%-----------------------------------------------------------------------------%

:- type doc ---> doc.

:- type formatter == ( func(univ, list(type_desc)) = doc ).
:- type formatters == list(formatter).

%-----------------------------------------------------------------------------%
%-----------------------------------------------------------------------------%