Module type Test.TSource

The type for testable values.

Sourcetype t

The tested type.

Sourceval equal : t -> t -> bool

equal asserts the equality of two values.

pp formats values for inspection.