CurryInfo: call-analysis-3.3.0 / ReadFlatTRS

name:	ReadFlatTRS

Generated by CurryInfo at Dec 3 01:12:11 2025