ychr-0.1.0.0: test/golden/bounded_cycle_cross_module/b.chr

:- module(b, [g/1]).
:- use_module(library(prelude)).
:- use_module(a, [f/1]).

% Module b's 'g' requires module a's 'f'. Together with a.chr this
% forms a cross-module bound cycle.
:- function g(T) -> T requiring f(T) -> T.
g(X) -> X.