Module Use.SA (.ml)

module SA: Set.S  with type elt = Literal.LT.t * Explanation.t