anchor.diff:  function mul = |v| -> 10 * v
   ----
   
  -Several factory functions are available in 
  -link:./golodoc/gololang/Decorators[`gololang.Decorators`] to ease the creation 
  +Several factory functions are available in
  +link:./golodoc/gololang/Decorators[`gololang.Decorators`] to ease the creation
   of checkers:
   
   * `any` is a void checker that does nothing. It can used when you need to check
  
positive.code: annotations are compiler or VM directives, decorators are actually plain
  functions, more precisely higher order functions.
  
  NOTE: Higher order functions (HOF) are functions that process functions, i.e. that take 
  a function as parameter, and may return a new function.
  
  A decorator is thus a function that take the function to decorate as parameter,
  
negative.code: This functionality is provided by the
  link:./golodoc/gololang/Decorators#withContext_context[`gololang.Decorators.withContext`]
  standard decorator. This decorator take a context, such as the one returned by
  link:./golodoc/gololang/Decorators#defaultContext_[`gololang.Decorators.defaultContext`]
  function.
  
  A context is an object with 4 defined methods:
  