Switch to <* *> docs. Fix issue with dynamically loaded C3 libs with other C3 code.

This commit is contained in:
Christoffer Lerno
2024-10-12 17:55:05 +02:00
committed by Christoffer Lerno
parent 9f6a4eb300
commit 31cd839063
119 changed files with 3271 additions and 3277 deletions

View File

@@ -66,9 +66,9 @@ fn void PrivatePriorityQueue.push(&self, Type element)
}
}
/**
* @require self != null
*/
<*
@require self != null
*>
fn Type! PrivatePriorityQueue.pop(&self)
{
usz i = 0;
@@ -128,9 +128,9 @@ fn bool PrivatePriorityQueue.is_empty(&self)
return self.heap.is_empty();
}
/**
* @require index < self.len()
*/
<*
@require index < self.len()
*>
fn Type PrivatePriorityQueue.get(&self, usz index) @operator([])
{
return self.heap[index];