package sail

You can search for identifiers within the package.

in-package search v0.2.0

package sail

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

module StringSet : sig ... end

val opt_prefix : string Stdlib.ref

val opt_directory : string Stdlib.ref

val opt_simple_val : bool Stdlib.ref

type latex_state = {

mutable noindent : bool;
mutable this : Ast.id option;
mutable norefs : StringSet.t;
mutable generated_names : string Ast_util.Bindings.t;
mutable commands : StringSet.t;

}

val reset_state : latex_state -> unit

val state : latex_state

val unique_postfix : int -> string

type id_category =

| Function
| Val
| Overload of int
| FunclCtor of Ast.id * int
| FunclNum of int
| FunclApp of string
| Type

val number_replacements : (string * string) list

val other_replacements : (string * string) list

val char_replace : string -> (string * string) list -> string

val replace_numbers : string -> string

val replace_others : string -> string

val category_name : id_category -> string

val category_name_val : id_category -> string

val category_name_simple : id_category -> string

val latex_id : Ast_util.Bindings.key -> string

val refcode_string : string -> string

val refcode_id : Ast.id -> string

val inline_code : string -> string

val text_code : string -> string

val replace_this : string -> string

val latex_of_markdown : string -> string

val docstring : Parse_ast.l -> PPrint.document

val add_links : string -> string

val skip_lines : Stdlib.in_channel -> int -> unit

val read_lines : Stdlib.in_channel -> int -> string list

val latex_loc : PPrint.document -> Ast.l -> PPrint.document

val doc_spec_simple : 'a Ast.val_spec -> PPrint.document

val latex_command : 
  id_category ->
  Ast_util.Bindings.key ->
  PPrint.ToBuffer.document ->
  (Ast.l * 'a) ->
  PPrint.document

val latex_label : string -> Ast.id -> PPrint.document

val counter : int Stdlib.ref

val app_code : 'a Ast.exp -> string

val latex_funcls : 'a -> 'b Ast.funcl list -> PPrint.document

val process_pragma : Parse_ast.l -> string -> PPrint.document option

val tdef_id : Ast.type_def_aux -> Ast.id

val defs : 'a Ast.defs -> PPrint.document