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).