source: CIVL/examples/contracts/with.cvl@ 7d55df1

#include<collate.cvh>

$gcollator gcollator=$gcollator_create($here, 1);
$collator collator=$collator_create(gcollator, $here, 0);

int main(){
  $collate_state cs;

  cs=$collate_arrives(collator, $here);
    
  $with (cs) {
    $assert($true);
  }
  $collate_departs(collator);
  $free(collator);
  $free(gcollator);
}