Revision ae9f5b95ebf7b36577861434e2099b638540d730 authored by Anish Tondwalkar on 20 October 2019, 06:45:47 UTC, committed by Anish Tondwalkar on 20 October 2019, 06:45:47 UTC
1 parent eba2590
EqConstr1.fq
data Thing 0 = [
| mkCons { head : int }
]
bind 1 x : {v: Thing | true }
bind 2 y : {v: a | true }
constraint:
env [1; 2]
lhs {v: int | x = y }
rhs {v: Int | y = x }
id 1 tag []
Computing file changes ...
