Commit 870958dd authored by Mart Lubbers's avatar Mart Lubbers

export semigroup instance for Map

parent 7d4963f7
Pipeline #20129 passed with stage
in 3 minutes and 22 seconds