Module `Lit.Rule`

type t = rule

val lhs : t -> Literal.t
val rhs : t -> Literal.t list list
val proof : t -> proof
val make : proof:Proof.t -> Literal.t -> Literal.t list list -> t
val is_equational : t -> bool
val as_clauses : t -> Literals.t list
val head_id : t -> ID.t option
val compare : t -> t -> int
val pp : t CCFormat.printer