logtk

Core types and algorithms for logic
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library logtk
Module Logtk . Rewrite . 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