charon_lib

Module common

source

Modules§

Constants§

Statics§

Functions§

  • Grows the stack on demand to prevent stack overflow. Call this in strategic locations to “break up” recursive calls. E.g. most statement visitors can benefit from this.
  • Custom function to pretty-print elements from an iterator The output format is:
  • Custom function to pretty-print a vector.
  • Rk.: in practice, T should be a shared ref