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