Skip to content

only locally make uPred_holds a coercion

Ralf Jung requested to merge ralf/less-coerce into master

uPred_holds being a coercion globally breaks the uPred abstraction. So only make it a coercion in modules that go into the model anyway.

While at it, I did the same for siProp.

Edited by Ralf Jung

Merge request reports