GeneratedDesignPatternsByDTRAM/models/Decorator.model at 9a716a0b8039d944543244fce75a6b3001cad8cc

Fork: 0

nitta-lab / GeneratedDesignPatternsByDTRAM

Find file

Newer

Older

GeneratedDesignPatternsByDTRAM / models / Decorator.model

okina-kina on 20 Jul 2022 133 bytes added.

Raw Blame History

channel C1{
    in simpleTroll(st2:Int, updatePower(power)) == power
    out clubbedTroll(ct:Int, updatePower(power)) == power + 10
}