GeneratedDesignPatternsByDTRAM / models / creational / Builder.model

channel CIO{
    out Builder(n1:Int, setName(n:Int)) == 1
}

channel Build{
    in Builder(n2, build(n2:Int)) == 1
    out Hero(h:Int, build(n2)) == 1
}