package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Int31head0
  2. | Int31tail0
  3. | Int31add
  4. | Int31sub
  5. | Int31mul
  6. | Int31div
  7. | Int31mod
  8. | Int31land
  9. | Int31lor
  10. | Int31lxor
  11. | Int31addc
  12. | Int31subc
  13. | Int31addcarryc
  14. | Int31subcarryc
  15. | Int31mulc
  16. | Int31diveucl
  17. | Int31div21
  18. | Int31addmuldiv
  19. | Int31eq
  20. | Int31lt
  21. | Int31le
  22. | Int31compare
val hash : t -> int
val to_string : t -> string
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct