Contract

constructor(greens: List<CapsuleRef>, reds: List<CapsuleRef>, assertions: List<Assertion>)(source)