#callsite(autofill(loc))
fn[T : Eq] eq(a : T, b : T, msg? : String, loc~ : SourceLoc) -> Unit raise

#callsite(autofill(loc))
fn f(x : Bool, msg? : String, loc~ : SourceLoc) -> Unit raise

#callsite(autofill(loc))
fn[T : Eq] ne(a : T, b : T, msg? : String, loc~ : SourceLoc) -> Unit raise

#callsite(autofill(loc))
fn raises(f : () -> Unit raise, loc~ : SourceLoc) -> Unit raise

#callsite(autofill(loc))
fn t(x : Bool, msg? : String, loc~ : SourceLoc) -> Unit raise