mnemosyne_constraint
Functions
check(Bindings, Constraint) -> term()
invert_constraint(C) -> term()
View Functions
check/2
invert_constraint/1