@ file : Suppress (" Filename ") Ċ Ċ package Ġcom . kot l ind is cord . k ord . extensions . checks . types Ċ Ċ /** ĠTypes Ġalias Ġrepresenting Ġa Ġcheck Ġfunction Ġfor Ġa Ġspecific Ġevent Ġtype . Ġ**/ Ċ public Ġtype alias ĠCheck < T > Ġ= Ġsuspend ĠCheck Context < T >. () Ġ-> ĠUnit Ċ