package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Int63head0
  2. | Int63tail0
  3. | Int63add
  4. | Int63sub
  5. | Int63mul
  6. | Int63div
  7. | Int63mod
  8. | Int63lsr
  9. | Int63lsl
  10. | Int63land
  11. | Int63lor
  12. | Int63lxor
  13. | Int63addc
  14. | Int63subc
  15. | Int63addCarryC
  16. | Int63subCarryC
  17. | Int63mulc
  18. | Int63diveucl
  19. | Int63div21
  20. | Int63addMulDiv
  21. | Int63eq
  22. | Int63lt
  23. | Int63le
  24. | Int63compare
  25. | Float64opp
  26. | Float64abs
  27. | Float64eq
  28. | Float64lt
  29. | Float64le
  30. | Float64compare
  31. | Float64classify
  32. | Float64add
  33. | Float64sub
  34. | Float64mul
  35. | Float64div
  36. | Float64sqrt
  37. | Float64ofInt63
  38. | Float64normfr_mantissa
  39. | Float64frshiftexp
  40. | Float64ldshiftexp
  41. | Float64next_up
  42. | Float64next_down
val parse : string -> t
val equal : t -> t -> bool
type arg_kind =
  1. | Kparam
  2. | Kwhnf
  3. | Karg
type args_red = arg_kind list
val hash : t -> int
val to_string : t -> string
val arity : t -> int
val kind : t -> args_red
type prim_type =
  1. | PT_int63
  2. | PT_float64
val prim_type_of_string : string -> prim_type
val prim_type_to_string : prim_type -> string
type !'a prim_ind =
  1. | PIT_bool : unit prim_ind
  2. | PIT_carry : prim_type prim_ind
  3. | PIT_pair : (prim_type * prim_type) prim_ind
  4. | PIT_cmp : unit prim_ind
  5. | PIT_f_cmp : unit prim_ind
  6. | PIT_f_class : unit prim_ind
type prim_ind_ex =
  1. | PIE : 'a prim_ind -> prim_ind_ex
type op_or_type =
  1. | OT_op of t
  2. | OT_type of prim_type
val prim_ind_to_string : 'a prim_ind -> string
val op_or_type_of_string : string -> op_or_type
val op_or_type_to_string : op_or_type -> string
val parse_op_or_type : ?loc:Loc.t -> string -> op_or_type
type ind_or_type =
  1. | PITT_ind : 'a prim_ind * 'a -> ind_or_type
  2. | PITT_type : prim_type -> ind_or_type
val types : t -> ind_or_type list
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