package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Label : sig ... end
type instruction =
  1. | Klabel of Label.t
  2. | Kacc of int
  3. | Kenvacc of int
  4. | Koffsetclosure of int
  5. | Kpush
  6. | Kpop of int
  7. | Kpush_retaddr of Label.t
  8. | Kshort_apply of int
  9. | Kapply of int
  10. | Kappterm of int * int
  11. | Kreturn of int
  12. | Kjump
  13. | Krestart
  14. | Kgrab of int
  15. | Kgrabrec of int
  16. | Kclosure of Label.t * int
  17. | Kclosurerec of int * int * Label.t array * Label.t array
  18. | Kclosurecofix of int * int * Label.t array * Label.t array
  19. | Kgetglobal of Names.Constant.t
  20. | Kconst of Vmvalues.structured_constant
  21. | Kmakeblock of int * Vmvalues.tag
  22. | Kmakeprod
  23. | Kmakeswitchblock of Label.t * Label.t * Vmvalues.annot_switch * int
  24. | Kswitch of Label.t array * Label.t array
  25. | Kpushfields of int
  26. | Kfield of int
  27. | Ksetfield of int
  28. | Kstop
  29. | Ksequence of bytecodes
  30. | Kproj of Names.Projection.Repr.t
  31. | Kensurestackcapacity of int
  32. | Kbranch of Label.t
  33. | Kprim of CPrimitives.t * Constr.pconstant
  34. | Kcamlprim of CPrimitives.t * Label.t
and bytecodes = instruction list
val pp_bytecodes : bytecodes -> Pp.t
type fv_elem =
  1. | FVnamed of Names.Id.t
  2. | FVrel of int
  3. | FVuniv_var of int
  4. | FVevar of Evar.t
type fv = fv_elem array
val pp_fv_elem : fv_elem -> Pp.t