Module modus_lib::wellformed
source · [−]Functions
infer image predicates, i.e. those that transitively depend on image/1 check that image predicates depend on image/1 in each disjunct
infer image predicates, i.e. those that transitively depend on image/1 check that image predicates depend on image/1 in each disjunct