Module Octagons

module Octagons: sig .. end

include Abstract_domain.Leaf