package sail

You can search for identifiers within the package.

in-package search v0.2.0

sail
- Anf
- Ast
- Ast_util
  - BE
  - BESet
  - Bindings
  - Id
  - IdSet
  - KBindings
  - KOpt
  - KOptMap
  - KOptSet
  - Kid
  - KidSet
  - Kind
  - NC
  - NCMap
  - Nexp
  - NexpMap
  - NexpSet
  - Typ
  - TypMap
- Bitfield
- C_backend
- Cgen_backend
- Constant_fold
  - StringMap
- Constant_propagation
- Constant_propagation_mutrec
- Constraint
- Elf_loader
- Error_format
- Graph
  - Make
    
    Ord
  - OrderedType
  - S
- Initial_check
- Interactive
- Interpreter
- Jib
- Jib_compile
  - Config
  - Make
    
    C
- Jib_interactive
- Jib_ir
  - Flat_ir_config
  - Flat_ir_formatter
  - Ir_formatter
    
    Config
    
    Make
    
    C
  - StringMap
- Jib_optimize
- Jib_smt
  - EventMap
  - IntSet
  - Make_optimizer
    
    S
  - Sequence
- Jib_ssa
  - IntSet
- Jib_util
  - CT
  - CTMap
  - CTSet
  - Name
  - NameCT
  - NameCTMap
  - NameCTSet
  - NameMap
  - NameSet
  - UBindings
  - UId
- Latex
  - StringSet
- Lexer
  - M
- Manifest
- Monomorphise
- Nl_flow
- Ocaml_backend
- Optimize
- Parse_ast
- Parser
- Parser_combinators
- Pattern_completeness
- Pretty_print
- Pretty_print_common
- Pretty_print_coq
  - StringSet
- Pretty_print_lem
  - StringSet
- Pretty_print_sail
- Process_file
- Profile
- Property
  - Event
- Reporting
- Rewriter
- Rewrites
- Sail2_values
- Sail_lib
  - BitType
  - Mem
- Scattered
- Smtlib
- Spec_analysis
- Specialize
- State
- ToFromInterp_backend
- ToFromInterp_lib_bitlist
  - Make
    
    BitT
- ToFromInterp_lib_mword
- Type_check
  - Env
- Type_error
- Util
- Value
  - StringMap

Legend:
Library
Module
Module type
Parameter
Class
Class type

type token =

| Wreg
| Wmvt
| Wmv
| Wmem
| With
| While
| Var
| Val
| Until
| Unspec
| Unit of string
| Union
| Under
| Undefined
| Undef
| Typedef
| TyVar of string
| TwoCaret
| Try
| True
| TildeTilde of string
| Throw
| Then
| TerminationMeasure
| TYPE
| Struct
| String of string
| Star of string
| Sizeof
| Semi
| Scattered
| RsquareBar
| Rsquare
| Rreg
| Rparen
| Rmemt
| Rmem
| Return
| Repeat
| Register
| Ref
| Real of string
| RcurlyBar
| Rcurly
| Pure
| Pragma of string * string
| Plus of string
| Overload
| Order
| Op9r of string
| Op9l of string
| Op9 of string
| Op8r of string
| Op8l of string
| Op8 of string
| Op7r of string
| Op7l of string
| Op7 of string
| Op6r of string
| Op6l of string
| Op6 of string
| Op5r of string
| Op5l of string
| Op5 of string
| Op4r of string
| Op4l of string
| Op4 of string
| Op3r of string
| Op3l of string
| Op3 of string
| Op2r of string
| Op2l of string
| Op2 of string
| Op1r of string
| Op1l of string
| Op1 of string
| Op0r of string
| Op0l of string
| Op0 of string
| Op
| Num of Nat_big_num.num
| Nondet
| Newtype
| Mutual
| MinusGt
| Minus
| Match
| Mapping
| LtMinus
| LtEq of string
| Lt of string
| LsquareBar
| Lsquare
| Lparen
| Let_
| LcurlyBar
| Lcurly
| InternalReturn
| InternalPLet
| Int
| Inc
| In
| If_
| Id of string
| Hex of string
| GtEq of string
| Gt of string
| Function_
| Foreach
| Forall
| Fixity of Parse_ast.fixity_token
| False
| Exmem
| Exit
| ExclEq of string
| Escape
| EqGt of string
| EqEq of string
| Eq of string
| Eof
| Enum
| End
| Else
| Effect
| Eamem
| DotDot
| Dot
| Doc of string
| Do
| Depend
| Default
| Dec
| Constraint
| Constant
| Configuration
| Comma
| ColonColon of string
| Colon of string
| Clause
| Catch
| Cast
| Caret of string
| By
| Bool
| Bitzero
| Bitone
| Bitfield
| Bin of string
| Bidir
| Barr
| Bar
| At of string
| Assert
| As
| And
| Amp of string

exception Error

val typschm_eof : 
  (Stdlib.Lexing.lexbuf -> token) ->
  Stdlib.Lexing.lexbuf ->
  Parse_ast.typschm

val typ_eof : 
  (Stdlib.Lexing.lexbuf -> token) ->
  Stdlib.Lexing.lexbuf ->
  Parse_ast.atyp

val file : 
  (Stdlib.Lexing.lexbuf -> token) ->
  Stdlib.Lexing.lexbuf ->
  Parse_ast.defs

val exp_eof : 
  (Stdlib.Lexing.lexbuf -> token) ->
  Stdlib.Lexing.lexbuf ->
  Parse_ast.exp

val def_eof : 
  (Stdlib.Lexing.lexbuf -> token) ->
  Stdlib.Lexing.lexbuf ->
  Parse_ast.def