GeneratedDesignPatternsByDTRAM/models/Decorator.model at e91ae42d929b061d28efe87c318b1969c5632918

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
}