package windtrap

  1. Overview
  2. Docs

Module type Myers.EqualSource

Sourcetype t
Sourceval equal : t -> t -> bool