package libsail

You can search for identifiers within the package.

in-package search v0.2.0

libsail
- Libsail
  - Anf
  - Ast
  - Ast_defs
  - Ast_util
    
    Bindings
    
    Id
    
    IdSet
    
    KBindings
    
    KOpt
    
    KOptMap
    
    KOptSet
    
    Kid
    
    KidSet
    
    Kind
    
    NC
    
    NCMap
    
    Nexp
    
    NexpMap
    
    NexpSet
    
    Scanner
    
    Loc
    
    Typ
    
    TypMap
  - Bitfield
  - Callgraph
    
    FCG
    
    G
    
    Node
    
    NodeMap
    
    NodeSet
  - Chunk_ast
  - Config
  - Constant_fold
    
    StringMap
  - Constant_propagation
  - Constant_propagation_mutrec
  - Constraint
  - Effects
    
    EffectSet
  - Elf_loader
  - Error_format
  - Flag
  - Format_sail
    
    CONFIG
    
    Make
    
    Config
  - Frontend
    
    FILE_HANDLER
  - Graph
    
    Make
    
    Ord
    
    OrderedType
    
    S
  - Infix_parser
    
    Incremental
    
    MenhirInterpreter
  - Initial_check
  - Interactive
    
    State
  - Interpreter
    
    Printer
  - Jib
  - Jib_compile
    
    CONFIG
    
    IdGraph
    
    Make
    
    C
  - Jib_optimize
  - Jib_ssa
    
    NameGraph
  - Jib_util
    
    CTListSet
    
    CTMap
    
    CTSet
    
    Name
    
    NameCTMap
    
    NameCTSet
    
    NameMap
    
    NameSet
  - Jib_visitor
    
    common_visitor
    
    empty_jib_visitor
    
    jib_visitor
  - Lexer
    
    M
  - Libsail_sites
    
    Sites
  - Lint
  - Mappings
  - Monad_params
  - Monomorphise
  - Name_generator
    
    CONFIG
    
    Make
    
    Config
    
    Overrides
  - Nl_flow
  - Outcome_rewrites
  - Parse_ast
    
    Attribute_data
  - Parser
  - Parser_combinators
  - Pattern_completeness
    
    Config
    
    Make
    
    C
  - Pragma
  - Preprocess
  - Pretty_print_common
  - Pretty_print_sail
    
    Default_print_config
    
    Document
    
    PRINT_CONFIG
    
    Printer
    
    Config
  - Profile
  - Project
    
    ModId
    
    ModSet
  - Project_lexer
    
    M
  - Project_parser
  - Property
    
    Event
  - Reporting
    
    Position
  - Rewriter
  - Rewrites
  - Sail2_instr_kinds
  - Sail2_operators
  - Sail2_operators_bitlists
  - Sail2_prompt
  - Sail2_prompt_monad
  - Sail2_values
  - Sail_file
    
    In_channel
  - Sail_lib
    
    BitType
    
    Mem
  - Scattered
  - Smt_exp
    
    COUNTEREXAMPLE_CONFIG
    
    Counterexample
    
    Config
    
    SimpSet
    
    SimpVar
    
    SimpVarMap
    
    SimpVarSet
    
    Simplifier
  - Smt_gen
    
    CONFIG
    
    Make
    
    Config
    
    Primop_gen
    
    PRIMOP_GEN
  - Spec_analysis
  - Specialize
  - Splice
  - State
  - Target
  - Type_check
    
    Env
  - Type_env
  - Type_error
  - Type_internal
  - Util
    
    IntIntSet
    
    IntMap
    
    IntSet
    
    Option_monad
    
    State_monad
    
    S
    
    StringMap
    
    StringSet
  - Value
    
    StringMap
  - Value2
  - Visitor

Legend:
Library
Module
Module type
Parameter
Class
Class type

type token =

| With
| While
| When
| Var
| Val
| Until
| Unit of string
| Union
| Under
| Undefined
| Typedef
| TyVar of string
| TwoCaret
| Try
| True
| Throw
| Then
| TerminationMeasure
| TYPE
| StructuredPragma of string
| Struct
| String of string
| Star
| Sizeof
| Semi
| Scattered
| RsquareBar
| Rsquare
| Rparen
| Return
| Repeat
| Register
| Ref
| Real of string
| RcurlyBar
| Rcurly
| Pure
| Private
| Pragma of string * string
| Overload
| Outcome
| OpId of string
| Op
| ORDER
| Num of Nat_big_num.num
| Newtype
| NAT
| Mutual
| Monadic
| MinusGt
| Minus
| Match
| Mapping
| LsquareBar
| Lsquare
| Lparen
| Let_
| LcurlyBar
| Lcurly
| InternalReturn
| InternalPLet
| InternalAssume
| Instantiation
| Inc
| In
| Impure
| Impl
| If_
| Id of string
| INT
| Hex of string
| Function_
| Forwards
| Foreach
| Forall
| Fixity of Parse_ast.fixity_token
| False
| Exit
| EqGt of string
| Eq of string
| Eof
| Enum
| End
| Else
| Effect
| DotDot
| Dot
| Doc of string
| Do
| Default
| Dec
| Constraint
| Constant
| Configuration
| Config
| Comma
| ColonColon
| Colon of string
| Clause
| Catch
| Cast
| Caret
| By
| Bitzero
| Bitone
| Bitfield
| Bin of string
| Bidir
| Bar
| Backwards
| BOOL
| Attribute of string
| At
| Assert
| As
| And

exception Error

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

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

val file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Parse_ast.def list

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

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

val attribute_data_eof : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  Parse_ast.Attribute_data.attribute_data