Index of module types

Module type for the image of the map assigning variables to values.

Signature of the functor

Module type that defines the observer

Result of the functor

The parameter of the functor.

Signature of the functor

This module type is the signature of the typevars.

Constrains variables needed for the inference

This module type is the signature of the typevars without the image operations.