logtk

Core types and algorithms for logic
IN THIS PACKAGE

Parameters

module S : sig ... end

Signature

val subsumes : Literals.t -> Literals.t -> bool