class L_CONSTRAINT

feature

	func
		note
			explicit: contracts, wrapping
		require
			modify ([])
		do
		end

end