ychr-0.1.0.0: test/golden/bounded_cycle_cross_module/a.chr
:- module(a, [f/1]). :- use_module(library(prelude)). :- use_module(b, [g/1]). % Module a's 'f' requires module b's 'g'. :- function f(T) -> T requiring g(T) -> T. f(X) -> X.
:- module(a, [f/1]). :- use_module(library(prelude)). :- use_module(b, [g/1]). % Module a's 'f' requires module b's 'g'. :- function f(T) -> T requiring g(T) -> T. f(X) -> X.