package camlp4

  1. Overview
  2. Docs
package camlp4
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Loc : Type

Signature

type loc = Loc.t
and meta_bool =
  1. | BTrue
  2. | BFalse
  3. | BAnt of string
and rec_flag =
  1. | ReRecursive
  2. | ReNonrecursive
  3. | ReNil
  4. | ReAnt of string
and direction_flag =
  1. | DiTo
  2. | DiDownto
  3. | DiAnt of string
and mutable_flag =
  1. | MuMutable
  2. | MuNil
  3. | MuAnt of string
and private_flag =
  1. | PrPrivate
  2. | PrNil
  3. | PrAnt of string
and virtual_flag =
  1. | ViVirtual
  2. | ViNil
  3. | ViAnt of string
and override_flag =
  1. | OvOverride
  2. | OvNil
  3. | OvAnt of string
and row_var_flag =
  1. | RvRowVar
  2. | RvNil
  3. | RvAnt of string
and !'a meta_option =
  1. | ONone
  2. | OSome of 'a
  3. | OAnt of string
and !'a meta_list =
  1. | LNil
  2. | LCons of 'a * 'a meta_list
  3. | LAnt of string
and ident =
  1. | IdAcc of loc * ident * ident
  2. | IdApp of loc * ident * ident
  3. | IdLid of loc * string
  4. | IdUid of loc * string
  5. | IdAnt of loc * string
and ctyp =
  1. | TyNil of loc
  2. | TyAli of loc * ctyp * ctyp
  3. | TyAny of loc
  4. | TyApp of loc * ctyp * ctyp
  5. | TyArr of loc * ctyp * ctyp
  6. | TyCls of loc * ident
  7. | TyLab of loc * string * ctyp
  8. | TyId of loc * ident
  9. | TyMan of loc * ctyp * ctyp
  10. | TyDcl of loc * string * ctyp list * ctyp * (ctyp * ctyp) list
  11. | TyExt of loc * ident * ctyp list * ctyp
  12. | TyObj of loc * ctyp * row_var_flag
  13. | TyOlb of loc * string * ctyp
  14. | TyPol of loc * ctyp * ctyp
  15. | TyTypePol of loc * ctyp * ctyp
  16. | TyQuo of loc * string
  17. | TyQuP of loc * string
  18. | TyQuM of loc * string
  19. | TyAnP of loc
  20. | TyAnM of loc
  21. | TyVrn of loc * string
  22. | TyRec of loc * ctyp
  23. | TyCol of loc * ctyp * ctyp
  24. | TySem of loc * ctyp * ctyp
  25. | TyCom of loc * ctyp * ctyp
  26. | TySum of loc * ctyp
  27. | TyOf of loc * ctyp * ctyp
  28. | TyAnd of loc * ctyp * ctyp
  29. | TyOr of loc * ctyp * ctyp
  30. | TyPrv of loc * ctyp
  31. | TyMut of loc * ctyp
  32. | TyTup of loc * ctyp
  33. | TySta of loc * ctyp * ctyp
  34. | TyVrnEq of loc * ctyp
  35. | TyVrnSup of loc * ctyp
  36. | TyVrnInf of loc * ctyp
  37. | TyVrnInfSup of loc * ctyp * ctyp
  38. | TyAmp of loc * ctyp * ctyp
  39. | TyOfAmp of loc * ctyp * ctyp
  40. | TyPkg of loc * module_type
  41. | TyOpn of loc
  42. | TyAtt of loc * string * str_item * ctyp
  43. | TyAnt of loc * string
and patt =
  1. | PaNil of loc
  2. | PaId of loc * ident
  3. | PaAli of loc * patt * patt
  4. | PaAnt of loc * string
  5. | PaAny of loc
  6. | PaApp of loc * patt * patt
  7. | PaArr of loc * patt
  8. | PaCom of loc * patt * patt
  9. | PaSem of loc * patt * patt
  10. | PaChr of loc * string
  11. | PaInt of loc * string
  12. | PaInt32 of loc * string
  13. | PaInt64 of loc * string
  14. | PaNativeInt of loc * string
  15. | PaFlo of loc * string
  16. | PaLab of loc * string * patt
  17. | PaOlb of loc * string * patt
  18. | PaOlbi of loc * string * patt * expr
  19. | PaOrp of loc * patt * patt
  20. | PaRng of loc * patt * patt
  21. | PaRec of loc * patt
  22. | PaEq of loc * ident * patt
  23. | PaStr of loc * string
  24. | PaTup of loc * patt
  25. | PaTyc of loc * patt * ctyp
  26. | PaTyp of loc * ident
  27. | PaVrn of loc * string
  28. | PaLaz of loc * patt
  29. | PaAtt of loc * string * str_item * patt
  30. | PaMod of loc * string
  31. | PaExc of loc * patt
and expr =
  1. | ExNil of loc
  2. | ExId of loc * ident
  3. | ExAcc of loc * expr * expr
  4. | ExAnt of loc * string
  5. | ExApp of loc * expr * expr
  6. | ExAre of loc * expr * expr
  7. | ExArr of loc * expr
  8. | ExSem of loc * expr * expr
  9. | ExAsf of loc
  10. | ExAsr of loc * expr
  11. | ExAss of loc * expr * expr
  12. | ExChr of loc * string
  13. | ExCoe of loc * expr * ctyp * ctyp
  14. | ExFlo of loc * string
  15. | ExFor of loc * patt * expr * expr * direction_flag * expr
  16. | ExFun of loc * match_case
  17. | ExIfe of loc * expr * expr * expr
  18. | ExInt of loc * string
  19. | ExInt32 of loc * string
  20. | ExInt64 of loc * string
  21. | ExNativeInt of loc * string
  22. | ExLab of loc * string * expr
  23. | ExLaz of loc * expr
  24. | ExLet of loc * rec_flag * binding * expr
  25. | ExLmd of loc * string * module_expr * expr
  26. | ExMat of loc * expr * match_case
  27. | ExNew of loc * ident
  28. | ExObj of loc * patt * class_str_item
  29. | ExOlb of loc * string * expr
  30. | ExOvr of loc * rec_binding
  31. | ExRec of loc * rec_binding * expr
  32. | ExSeq of loc * expr
  33. | ExSnd of loc * expr * string
  34. | ExSte of loc * expr * expr
  35. | ExStr of loc * string
  36. | ExTry of loc * expr * match_case
  37. | ExTup of loc * expr
  38. | ExCom of loc * expr * expr
  39. | ExTyc of loc * expr * ctyp
  40. | ExVrn of loc * string
  41. | ExWhi of loc * expr * expr
  42. | ExOpI of loc * ident * override_flag * expr
  43. | ExFUN of loc * string * expr
  44. | ExPkg of loc * module_expr
  45. | ExAtt of loc * string * str_item * expr
and module_type =
  1. | MtNil of loc
  2. | MtId of loc * ident
  3. | MtAlias of loc * ident
  4. | MtFun of loc * string * module_type * module_type
  5. | MtQuo of loc * string
  6. | MtSig of loc * sig_item
  7. | MtWit of loc * module_type * with_constr
  8. | MtOf of loc * module_expr
  9. | MtAtt of loc * string * str_item * module_type
  10. | MtAnt of loc * string
and sig_item =
  1. | SgNil of loc
  2. | SgCls of loc * class_type
  3. | SgClt of loc * class_type
  4. | SgSem of loc * sig_item * sig_item
  5. | SgDir of loc * string * expr
  6. | SgExc of loc * ctyp
  7. | SgExt of loc * string * ctyp * string meta_list
  8. | SgInc of loc * module_type
  9. | SgMod of loc * string * module_type
  10. | SgRecMod of loc * module_binding
  11. | SgMty of loc * string * module_type
  12. | SgOpn of loc * override_flag * ident
  13. | SgTyp of loc * rec_flag * ctyp
  14. | SgVal of loc * string * ctyp
  15. | SgAnt of loc * string
and with_constr =
  1. | WcNil of loc
  2. | WcTyp of loc * ctyp * ctyp
  3. | WcMod of loc * ident * ident
  4. | WcTyS of loc * ctyp * ctyp
  5. | WcMoS of loc * ident * ident
  6. | WcAnd of loc * with_constr * with_constr
  7. | WcAnt of loc * string
and binding =
  1. | BiNil of loc
  2. | BiAnd of loc * binding * binding
  3. | BiEq of loc * patt * expr
  4. | BiAnt of loc * string
and rec_binding =
  1. | RbNil of loc
  2. | RbSem of loc * rec_binding * rec_binding
  3. | RbEq of loc * ident * expr
  4. | RbAnt of loc * string
and module_binding =
  1. | MbNil of loc
  2. | MbAnd of loc * module_binding * module_binding
  3. | MbColEq of loc * string * module_type * module_expr
  4. | MbCol of loc * string * module_type
  5. | MbAnt of loc * string
and match_case =
  1. | McNil of loc
  2. | McOr of loc * match_case * match_case
  3. | McArr of loc * patt * expr * expr
  4. | McAnt of loc * string
and module_expr =
  1. | MeNil of loc
  2. | MeId of loc * ident
  3. | MeApp of loc * module_expr * module_expr
  4. | MeFun of loc * string * module_type * module_expr
  5. | MeStr of loc * str_item
  6. | MeTyc of loc * module_expr * module_type
  7. | MePkg of loc * expr
  8. | MeAtt of loc * string * str_item * module_expr
  9. | MeAnt of loc * string
and str_item =
  1. | StNil of loc
  2. | StCls of loc * class_expr
  3. | StClt of loc * class_type
  4. | StSem of loc * str_item * str_item
  5. | StDir of loc * string * expr
  6. | StExc of loc * ctyp * ident meta_option
  7. | StExp of loc * expr
  8. | StExt of loc * string * ctyp * string meta_list
  9. | StInc of loc * module_expr
  10. | StMod of loc * string * module_expr
  11. | StRecMod of loc * module_binding
  12. | StMty of loc * string * module_type
  13. | StOpn of loc * override_flag * ident
  14. | StTyp of loc * rec_flag * ctyp
  15. | StVal of loc * rec_flag * binding
  16. | StAnt of loc * string
and class_type =
  1. | CtNil of loc
  2. | CtCon of loc * virtual_flag * ident * ctyp
  3. | CtFun of loc * ctyp * class_type
  4. | CtSig of loc * ctyp * class_sig_item
  5. | CtAnd of loc * class_type * class_type
  6. | CtCol of loc * class_type * class_type
  7. | CtEq of loc * class_type * class_type
  8. | CtAtt of loc * string * str_item * class_type
  9. | CtAnt of loc * string
and class_sig_item =
  1. | CgNil of loc
  2. | CgCtr of loc * ctyp * ctyp
  3. | CgSem of loc * class_sig_item * class_sig_item
  4. | CgInh of loc * class_type
  5. | CgMth of loc * string * private_flag * ctyp
  6. | CgVal of loc * string * mutable_flag * virtual_flag * ctyp
  7. | CgVir of loc * string * private_flag * ctyp
  8. | CgAnt of loc * string
and class_expr =
  1. | CeNil of loc
  2. | CeApp of loc * class_expr * expr
  3. | CeCon of loc * virtual_flag * ident * ctyp
  4. | CeFun of loc * patt * class_expr
  5. | CeLet of loc * rec_flag * binding * class_expr
  6. | CeStr of loc * patt * class_str_item
  7. | CeTyc of loc * class_expr * class_type
  8. | CeAnd of loc * class_expr * class_expr
  9. | CeEq of loc * class_expr * class_expr
  10. | CeAtt of loc * string * str_item * class_expr
  11. | CeAnt of loc * string
and class_str_item =
  1. | CrNil of loc
  2. | CrSem of loc * class_str_item * class_str_item
  3. | CrCtr of loc * ctyp * ctyp
  4. | CrInh of loc * override_flag * class_expr * string
  5. | CrIni of loc * expr
  6. | CrMth of loc * string * override_flag * private_flag * expr * ctyp
  7. | CrVal of loc * string * override_flag * mutable_flag * expr
  8. | CrVir of loc * string * private_flag * ctyp
  9. | CrVvr of loc * string * mutable_flag * ctyp
  10. | CrAnt of loc * 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