:- use_package(assertions).
:- doc(nodoc,assertions).
:- doc(nodoc,assertions_basic).

:- doc(title,"Interactive menus").

:- doc(author, "The Ciao Development Team").

:- doc(module,"This library package allows definition interactive menus").

:- use_package(library(menu)).

