given_Semigroup_Done
libretto.puro.PuroLib.Semigroup.given_Semigroup_Done
object given_Semigroup_Done extends Semigroup[dsl.Done]
Attributes
- Graph
-
- Supertypes
- Self type
-
given_Semigroup_Done.type
Members list
In this article