Logtk.SolidSubsumption
exception
UnsupportedLiteralKind
module Make : functor (S : sig ... end) -> sig ... end