package gospel

  1. Overview
  2. Docs
package gospel
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Ttypes.TvarSource

Sourceval equal : tvsymbol -> tvsymbol -> bool
Sourceval compare : tvsymbol -> tvsymbol -> int
Sourceval hash : tvsymbol -> int