package grenier

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module type `Mbt.MEASURE`Source

Measure is a value from a monoid that is computed from payloads and accumulated along branches until reaching the root of the tree.

Sourcetype +'a measurable

Sourcetype measure

Sourceval empty : measure

Sourceval cat : measure -> 'a measurable -> measure -> measure