sig val octagon : Abstractions.flag val box : Abstractions.flag val polka_loose : Abstractions.flag val polka_strict : Abstractions.flag val polka_equality : Abstractions.flag end