package coq

  1. Overview
  2. Docs

Module Mutils.IntSource

Sourcetype t = int
Sourceval compare : int -> int -> int
Sourceval equal : int -> int -> bool