core

Packages

The fixpoint package contains everything which is related to defining and solving systems of equations. This package object defines some type aliases which are used in the API.

The fixpoint package contains everything which is related to defining and solving systems of equations. This package object defines some type aliases which are used in the API.