blob: ca6d3015ff9334ab1527467c34dffc9518cdae7f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
==================== Strictness signatures ====================
CaseBinderCPR.$trModule:
CaseBinderCPR.f_list_cmp: <UCU(CS(P(MU)))><SU><SU>
==================== Cpr signatures ====================
CaseBinderCPR.$trModule:
CaseBinderCPR.f_list_cmp: m1
==================== Strictness signatures ====================
CaseBinderCPR.$trModule:
CaseBinderCPR.f_list_cmp: <UCU(CS(P(SU)))><SU><SU>
|
