Closed yoshihiro503 closed 5 years ago
When
sol
{X |-> number()}
solve_disj sol [(X <: 1); (X <: 2)] should be {X |-> 1 | 2}, but {X |-> number}.
solve_disj sol [(X <: 1); (X <: 2)]
{X |-> 1 | 2}
{X |-> number}
When
sol={X |-> number()}solve_disj sol [(X <: 1); (X <: 2)]should be{X |-> 1 | 2}, but{X |-> number}.