Top level entry point for the canonicalization algorithm.

Copyright

Ivan Herman 2023

Index

Functions