logtk

Core types and algorithms for logic
IN THIS PACKAGE
Parameter #1 Logtk . Term . AC . A
val is_ac : ID.t -> bool
val is_comm : ID.t -> bool