master
# frozen_string_literal: true # The ManualPremiseSelection directly specifies the selected axioms class ManualPremiseSelection < PremiseSelection end