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