recursive logical definitions in micro-Python
Currently, there is no support for recursive logical functions and predicates in micro-Python, though a syntax for variants is provided.
An example would be
#@ function factorial(n: int) -> int variant { n } = if n <= 1 then 1 else n*factorial(n-1)