package zelus

  1. Overview
  2. Docs
package zelus
Legend:
Library
Module
Module type
Parameter
Class
Class type
type kind =
  1. | S
  2. | AS
  3. | A
  4. | C
  5. | AD
  6. | D
  7. | P
type name = string
type qualident = {
  1. qual : name;
  2. id : name;
}
type longname =
  1. | Name of name
  2. | Modname of qualident
type 'a localized = {
  1. desc : 'a;
  2. loc : Location.location;
}
type type_expression = type_expression_desc localized

Types

and type_expression_desc =
  1. | Etypevar of name
  2. | Etypeconstr of longname * type_expression list
  3. | Etypetuple of type_expression list
  4. | Etypevec of type_expression * size
  5. | Etypefun of kind * string option * type_expression * type_expression
and size = size_desc localized
and size_desc =
  1. | Sconst of int
  2. | Sname of longname
  3. | Sop of size_op * size * size
and size_op =
  1. | Splus
  2. | Sminus
type interface = interface_desc localized

Declarations and expressions

and interface_desc =
  1. | Einter_open of name
  2. | Einter_typedecl of name * name list * type_decl
  3. | Einter_constdecl of name * type_expression
and type_decl = type_decl_desc localized
and type_decl_desc =
  1. | Eabstract_type
  2. | Eabbrev of type_expression
  3. | Evariant_type of constr_decl list
  4. | Erecord_type of (name * type_expression) list
and constr_decl = constr_decl_desc localized
and constr_decl_desc =
  1. | Econstr0decl of name
  2. | Econstr1decl of name * type_expression list
and implementation = implementation_desc localized
and implementation_desc =
  1. | Eopen of name
  2. | Etypedecl of name * name list * type_decl
  3. | Econstdecl of name * is_static * exp
  4. | Efundecl of name * funexp
and funexp = {
  1. f_kind : kind;
  2. f_atomic : is_atomic;
  3. f_args : pattern list;
  4. f_body : exp;
  5. f_loc : Location.location;
}
and is_atomic = bool
and is_static = bool
and exp = desc localized
and desc =
  1. | Evar of longname
  2. | Econst of immediate
  3. | Econstr0 of constr
  4. | Econstr1 of constr * exp list
  5. | Elast of name
  6. | Eapp of app * exp * exp list
  7. | Eop of op * exp list
  8. | Etuple of exp list
  9. | Erecord_access of exp * longname
  10. | Erecord of (longname * exp) list
  11. | Erecord_with of exp * (longname * exp) list
  12. | Etypeconstraint of exp * type_expression
  13. | Elet of is_rec * eq list * exp
  14. | Eseq of exp * exp
  15. | Eperiod of period
  16. | Ematch of exp * exp match_handler list
  17. | Epresent of exp present_handler list * exp default option
  18. | Eautomaton of exp state_handler list * state_exp option
  19. | Ereset of exp * exp
  20. | Eblock of eq list block * exp
and is_rec = bool
and app = {
  1. app_inline : bool;
  2. app_statefull : bool;
}
and 'a default =
  1. | Init of 'a
  2. | Default of 'a
and op =
  1. | Efby
  2. | Eunarypre
  3. | Eifthenelse
  4. | Eminusgreater
  5. | Eup
  6. | Einitial
  7. | Edisc
  8. | Etest
  9. | Eaccess
  10. | Eupdate
  11. | Eslice of size * size
  12. | Econcat
  13. | Eatomic
and immediate =
  1. | Eint of int
  2. | Efloat of float
  3. | Ebool of bool
  4. | Echar of char
  5. | Estring of string
  6. | Evoid
and constant =
  1. | Cimmediate of immediate
  2. | Cglobal of longname
and period = {
  1. p_phase : exp option;
  2. p_period : exp;
}
and constr = longname
and pattern = pdesc localized
and pdesc =
  1. | Etuplepat of pattern list
  2. | Evarpat of name
  3. | Ewildpat
  4. | Econstpat of immediate
  5. | Econstr0pat of longname
  6. | Econstr1pat of longname * pattern list
  7. | Ealiaspat of pattern * name
  8. | Eorpat of pattern * pattern
  9. | Erecordpat of (longname * pattern) list
  10. | Etypeconstraintpat of pattern * type_expression
and eq = eqdesc localized
and eqdesc =
  1. | EQeq of pattern * exp
  2. | EQder of name * exp * exp option * exp present_handler list
  3. | EQinit of name * exp
  4. | EQnext of name * exp * exp option
  5. | EQemit of name * exp option
  6. | EQpluseq of name * exp
  7. | EQautomaton of eq list state_handler list * state_exp option
  8. | EQpresent of eq list block present_handler list * eq list block option
  9. | EQmatch of exp * eq list block match_handler list
  10. | EQifthenelse of exp * eq list block * eq list block option
  11. | EQreset of eq list * exp
  12. | EQand of eq list
  13. | EQbefore of eq list
  14. | EQblock of eq list block
  15. | EQforall of forall_handler
and 'a block = 'a block_desc localized
and 'a block_desc = {
  1. b_vars : vardec list;
  2. b_locals : local list;
  3. b_body : 'a;
}
and vardec = vardecdesc localized
and vardecdesc = {
  1. vardec_name : name;
  2. vardec_default : constant default option;
  3. vardec_combine : longname option;
}
and local = local_desc localized
and local_desc = is_rec * eq list
and statepat = statepatdesc localized
and statepatdesc =
  1. | Estate0pat of name
  2. | Estate1pat of name * name list
and state_exp = state_exp_desc localized
and state_exp_desc =
  1. | Estate0 of name
  2. | Estate1 of name * exp list
and escape = {
  1. e_cond : scondpat;
  2. e_reset : bool;
  3. e_block : eq list block option;
  4. e_next_state : state_exp;
}
and scondpat = scondpat_desc localized
and scondpat_desc =
  1. | Econdand of scondpat * scondpat
  2. | Econdor of scondpat * scondpat
  3. | Econdexp of exp
  4. | Econdon of scondpat * exp
  5. | Econdpat of exp * pattern
and is_on = bool
and 'a match_handler = {
  1. m_pat : pattern;
  2. m_body : 'a;
}
and 'a present_handler = {
  1. p_cond : scondpat;
  2. p_body : 'a;
}
and 'a state_handler_desc = {
  1. s_state : statepat;
  2. s_block : 'a block;
  3. s_until : escape list;
  4. s_unless : escape list;
}
and 'a state_handler = 'a state_handler_desc localized
and forall_handler = {
  1. for_indexes : indexes_desc localized list;
  2. for_init : init_desc localized list;
  3. for_body : eq list block;
}
and indexes_desc =
  1. | Einput of name * exp
  2. | Eoutput of name * name
  3. | Eindex of name * exp * exp
and init_desc =
  1. | Einit_last of name * exp
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