Module SolidSubsumption.Make

Parameters

• S : sig ... end

Signature

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