Up – Package index » logtk » Library logtk » Logtk » SolidSubsumption » Make

Module `SolidSubsumption.Make`Source

Parameters

module S : sig ... end

Signature

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