package libsail

  1. Overview
  2. Docs

Module Libsail.JibSource

Sourcetype iannot = int * Parse_ast.l
Sourcetype chan =
  1. | Chan_stdout
  2. | Chan_stderr
Sourcetype ctyp =
  1. | CT_lint
  2. | CT_fint of int
  3. | CT_constant of Nat_big_num.num
  4. | CT_lbits
  5. | CT_sbits of int
  6. | CT_fbits of int
  7. | CT_unit
  8. | CT_bool
  9. | CT_string
  10. | CT_real
  11. | CT_float of int
  12. | CT_rounding_mode
  13. | CT_tup of ctyp list
  14. | CT_enum of Ast.id
  15. | CT_struct of Ast.id * ctyp list
  16. | CT_variant of Ast.id * ctyp list
  17. | CT_fvector of int * ctyp
  18. | CT_vector of ctyp
  19. | CT_list of ctyp
  20. | CT_ref of ctyp
  21. | CT_poly of Ast.kid
  22. | CT_memory_writes
  23. | CT_json
  24. | CT_json_key
Sourcetype name =
  1. | Gen of int * int * int
  2. | Name of Ast.id * int
  3. | Abstract of Ast.id
  4. | Have_exception of int
  5. | Current_exception of int
  6. | Throw_location of int
  7. | Channel of chan * int
  8. | Memory_writes of int
  9. | Return of int
Sourcetype op =
  1. | Bnot
  2. | Bor
  3. | Band
  4. | List_hd
  5. | List_tl
  6. | List_is_empty
  7. | Eq
  8. | Neq
  9. | Ite
  10. | String_eq
  11. | Index of int
  12. | Ilt
  13. | Ilteq
  14. | Igt
  15. | Igteq
  16. | Iadd
  17. | Isub
  18. | Unsigned of int
  19. | Signed of int
  20. | Bvnot
  21. | Bvor
  22. | Bvand
  23. | Bvxor
  24. | Bvadd
  25. | Bvsub
  26. | Bvaccess
  27. | Concat
  28. | Zero_extend of int
  29. | Sign_extend of int
  30. | Slice of int
  31. | Sslice of int
  32. | Set_slice
  33. | Replicate of int
Sourcetype clexp =
  1. | CL_id of name * ctyp
  2. | CL_rmw of name * name * ctyp
  3. | CL_field of clexp * Ast.id * ctyp
  4. | CL_addr of clexp
  5. | CL_tuple of clexp * int
  6. | CL_void of ctyp
Sourcetype cval =
  1. | V_id of name * ctyp
  2. | V_member of Ast.id * ctyp
  3. | V_lit of Value2.vl * ctyp
  4. | V_tuple of cval list
  5. | V_struct of (Ast.id * cval) list * ctyp
  6. | V_ctor_kind of cval * Ast.id * ctyp list
  7. | V_ctor_unwrap of cval * Ast.id * ctyp list * ctyp
  8. | V_tuple_member of cval * int * int
  9. | V_call of op * cval list
  10. | V_field of cval * Ast.id * ctyp
Sourcetype creturn =
  1. | CR_one of clexp
  2. | CR_multi of clexp list
Sourcetype init =
  1. | Init_cval of cval
  2. | Init_static of Value2.vl
  3. | Init_json_key of string list
Sourcetype funtype =
  1. | Call
  2. | Extern of ctyp
Sourcetype instr_aux =
  1. | I_decl of ctyp * name
  2. | I_init of ctyp * name * init
  3. | I_jump of cval * string
  4. | I_goto of string
  5. | I_label of string
  6. | I_funcall of creturn * funtype * Ast.id * ctyp list * cval list
  7. | I_copy of clexp * cval
  8. | I_clear of ctyp * name
  9. | I_undefined of ctyp
  10. | I_exit of string
  11. | I_end of name
  12. | I_if of cval * instr list * instr list
  13. | I_block of instr list
  14. | I_try_block of instr list
  15. | I_throw of cval
  16. | I_comment of string
  17. | I_raw of string
  18. | I_return of cval
  19. | I_reset of ctyp * name
  20. | I_reinit of ctyp * name * cval
Sourceand instr =
  1. | I_aux of instr_aux * iannot
Sourcetype ctype_def_init =
  1. | CTDI_instrs of instr list
  2. | CTDI_none
Sourcetype ctype_def =
  1. | CTD_enum of Ast.id * Ast.id list
  2. | CTD_struct of Ast.id * Ast.kid list * (Ast.id * ctyp) list
  3. | CTD_variant of Ast.id * Ast.kid list * (Ast.id * ctyp) list
  4. | CTD_abbrev of Ast.id * ctyp
  5. | CTD_abstract of Ast.id * ctyp * ctype_def_init
Sourcetype return_name =
  1. | Return_via of name
  2. | Return_plain
Sourcetype cdef_aux =
  1. | CDEF_register of name * ctyp * instr list
  2. | CDEF_type of ctype_def
  3. | CDEF_let of int * (Ast.id * ctyp) list * instr list
  4. | CDEF_val of Ast.id * Ast.kid list * ctyp list * ctyp * string option
  5. | CDEF_fundef of Ast.id * return_name * name list * instr list
  6. | CDEF_startup of Ast.id * instr list
  7. | CDEF_finish of Ast.id * instr list
  8. | CDEF_pragma of string * string
Sourcetype cdef =
  1. | CDEF_aux of cdef_aux * unit Ast.def_annot