module Octagon: S
S
include Abstract_domain.S
val structure : t Abstract_domain.structure
t Abstract_domain.structure