mnemosyne_constraint

(mnemosyne)

Functions

check(Bindings, Constraint) -> term()

invert_constraint(C) -> term()

View Functions