mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 09:23:44 +00:00
6 lines
305 B
Plaintext
6 lines
305 B
Plaintext
:- module existential_error1.
|
|
|
|
:- pragma termination_info(existential_error1.deconstruct_univ(builtin.in, builtin.out), infinite, cannot_loop).
|
|
|
|
:- pragma termination2_info(existential_error1.deconstruct_univ(builtin.in, builtin.out), constraints([le([term(1, r(-1, 1))], r(-1, 1))]), not_set, can_loop).
|