package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type sign =
  1. | SPlus
  2. | SMinus
type num_class =
  1. | CDec
  2. | CHex
type !'a exp =
  1. | EDec of 'a
  2. | EBin of 'a
module UnsignedNat : sig ... end
module SignedNat : sig ... end
module Unsigned : sig ... end
module Signed : sig ... end