end_category/0

Description

end_category

Ending category directive.

Template and modes

end_category

Examples

:- end_category.