Index of exceptions

D
DontKnow [Facile.Cstr]
DontKnow [Fcl_cstr]

Exception raised by the check function of a reified constraint when it is not known whether the constraint is satisfied or violated.

F
Fail [Facile.Stak]
Fail [Fcl_stak]

Raised during solving whenever a failure occurs.

L
Level_not_found [Facile.Stak]
Level_not_found [Fcl_stak]

Raised by cut.