package Ġnet . cord a . core . contracts . clauses Ċ Ċ import Ġnet . cord a . core . contracts . Command Data Ċ import Ġnet . cord a . core . contracts . Contract State Ċ Ċ /** Ċ Ġ* ĠCompose Ġa Ġnumber Ġof Ġclauses , Ġsuch Ġthat Ġall Ġof Ġthe Ġclauses Ġmust Ġrun Ġfor Ġverification Ġto Ġpass . Ċ Ġ*/ Ċ @ Deprecated (" Use ĠAll Of ") Ċ class ĠAll Composition < S Ġ: ĠContract State , ĠC Ġ: ĠCommand Data , ĠK Ġ: ĠAny >( first Clause : ĠClause < S , ĠC , ĠK >, Ġvar arg Ġremaining Clause s : ĠClause < S , ĠC , ĠK >) Ġ: ĠAll Of < S , ĠC , ĠK >( first Clause , Ġ* remaining Clause s )