ClosuresOne
libretto.lambda.ClosuresOne
class ClosuresOne[-⚬[_, _], |*|[_, _], One, =⚬[_, _], Var[_], VarSet](using smc: SymmetricMonoidalCategory[-⚬, |*|, One], inj: BiInjective[|*|], variables: Variable[Var, VarSet])
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any