Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
f7ff397a310cd4d47fc4849043f8c9d47412e512
/
.
/
compiler
/
testData
/
constraintSystem
/
severalVariables
/
recursive
/
mutuallyRecursive.constraints
blob: 2ed17521412d5d9637f0d828eb9f407ccbe5ac1f [
file
]
VARIABLES T P
T
:=
My
<
P
>
P
:=
Two
<
T
,
P
>