Module Discrimination_tree.Internal

val kConstant : int
val kPrimitive : int
val kVariable : int
val kOther : int
val k_of : cell -> int
val arity_of : cell -> int
val data_of : cell -> int
val isVariable : cell -> bool
val isAny : cell -> bool
val isInput : cell -> bool
val isOutput : cell -> bool
val isListHead : cell -> bool
val isListNil : cell -> bool
val isListEnd : cell -> bool
val isListTailVariable : cell -> bool
val isListTailVariableUnif : cell -> bool
val isPathEnd : cell -> bool
val isUvarConstant : cell -> bool