Module Ic.DisjunctiveHead

module DisjunctiveHead: sig .. end

type head 

val get_literals : head -> Ic.HeadLiteral.literal list