packages feed

ychr-0.1.0.0: test/golden/open_function_multi_module/b_extra.chr

:- module(extra, [type(animals/0)]).
:- use_module(main, [classify/1]).
:- chr_type animals ---> dog ; cat.

% Equations contributed from this module to the open function declared in main.
:- extend_function classify(dog) -> quote(animal).
:- extend_function classify(cat) -> quote(animal).
:- extend_function classify(_)   -> quote(unknown).