search

data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: new atomic assertion Is_Defined_With_N_Clauses #144

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

Probably we need it in Eval_Node. So we would need two versions of it:

yutakang commented 4 years ago

Done in a613726413a02650420efd9649a0ddd026c7b2bb.