 |
Post AvzocwQ4O9vr2jME0e by [email protected] |
 |
More posts by [email protected] |
|
Post #Avzoct7sdKbEpRp9k0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Is this a good place to ask (super simple) Rocq questions? I guess the real que… |
|
|
|
Post #AvzocwQ4O9vr2jME0e by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 if the type parameters can be inferred by arguments to the construct… |
|
|
|
Post #AvzocwXVwTt3PoqAc4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@justinefrank @JacquesC2 even without that, you can omit the type annotation be… |
|
|
|
Post #AvzocwdtYkzVjbpGYi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@joomy @justinefrank Unsurprisingly,Definition example := Const _ _ _ _ _ (1 +… |
|
|
|
Post #Avzocwkd9iNY4Uye3c by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 @justinefrank I should made it clear that my "or" was excl… |
|
|
|
Post #AvzocwqIocuqM5dAtk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@joomy @justinefrank Cool. I'll change my Rocq generator accordingly. |
|
|
|
Post #AvzodGcVHdlHh5KRAO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@justinefrank Good to know. In this case, they can be inferred from the type, b… |
