package coq-core

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val (//) : t -> t -> t
val (+/) : t -> t -> t
val (-/) : t -> t -> t
val (*/) : t -> t -> t
val (=/) : t -> t -> bool
val (<>/) : t -> t -> bool
val (>/) : t -> t -> bool
val (>=/) : t -> t -> bool
val (</) : t -> t -> bool
val (<=/) : t -> t -> bool
OCaml

Innovation. Community. Security.