sig
type
head
val
get_literals :
Ic
.
DisjunctiveHead
.head
->
Ic
.
HeadLiteral
.literal list
end