This directory contains examples to test the inference
of abstact call types, as described in the paper

M. Hanus. Inferring non-failure conditions for declarative programs.
CoRR, abs/2402.12960, 2024.
Available at http://arxiv.org/abs/2402.12960