package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

package lambdapi

lambdapi.common
- Common
  - Console
    
    State
  - Debug
    
    D
  - Error
  - Escape
  - Library
    
    LibMap
  - Logger
  - Path
    
    Map
    
    Path
    
    Set
  - Pos
lambdapi.core
- Core
  - Builtin
  - Coercion
  - Ctxt
  - Env
  - Eval
  - Ghost
  - Infer
  - Inverse
  - LibMeta
  - LibTerm
  - Print
  - Sig_state
  - Sign
  - Term
    
    Raw
  - Tree
    
    CM
    
    CP
    
    PSet
  - Tree_type
    
    TC
    
    TCMap
  - Unif
  - Unif_rule
  - Version
lambdapi.export
- Export
  - Coq
    
    Qid
    
    QidMap
  - Dk
  - Hrs
    
    V
    
    VMap
  - Rawdk
  - Xtc
lambdapi.handle
- Handle
  - Command
  - Compile
    
    PureUpToSign
  - Fol
  - Inductive
  - Proof
    
    Goal
  - Query
  - Rewrite
  - Tactic
  - Why3_tactic
lambdapi.lplib
- Lplib
  - Array
  - Base
    
    Int
  - Bytes
  - Color
  - Extra
    
    IntMap
    
    IntSet
    
    StrMap
    
    StrSet
  - Filename
  - List
  - Option
    
    Applicative
    
    Monad
  - Range
  - RangeMap
    
    Make
    
    Range
    
    _
  - RangeMap_intf
    
    S
    
    Range
  - Range_intf
    
    S
  - String
  - Uchar
lambdapi.lsp
- Lsp
  - Lp_doc
  - Lp_lsp
  - Lsp_base
  - Lsp_io
lambdapi.parsing
- Parsing
  - DkBasic
    
    WS
  - DkLexer
  - DkParser
  - DkRule
  - DkTokens
  - LpLexer
  - LpParser
  - Package
  - Parser
    
    Dk
    
    Lp
    
    PARSER
  - Pratt
    
    Pratt
  - Pretty
  - Scope
  - SearchQuerySyntax
  - Syntax
    
    P
lambdapi.pure
- Pure
  - Command
  - ProofTree
  - Tactic
lambdapi.tool
- Tool
  - External
  - Indexing
  - Lcr
  - Sr
  - Tree_graphviz
  - Websearch

Legend:
Library
Module
Module type
Parameter
Class
Class type

module B = Stdlib.Bytes

include module type of struct include B end

val length : bytes -> int

val get : bytes -> int -> char

val set : bytes -> int -> char -> unit

val create : int -> bytes

val make : int -> char -> bytes

val init : int -> (int -> char) -> bytes

val empty : bytes

val copy : bytes -> bytes

val of_string : string -> bytes

val to_string : bytes -> string

val sub : bytes -> int -> int -> bytes

val sub_string : bytes -> int -> int -> string

val extend : bytes -> int -> int -> bytes

val fill : bytes -> int -> int -> char -> unit

val blit : bytes -> int -> bytes -> int -> int -> unit

val blit_string : string -> int -> bytes -> int -> int -> unit

val concat : bytes -> bytes list -> bytes

val cat : bytes -> bytes -> bytes

val iter : (char -> unit) -> bytes -> unit

val iteri : (int -> char -> unit) -> bytes -> unit

val map : (char -> char) -> bytes -> bytes

val mapi : (int -> char -> char) -> bytes -> bytes

val fold_left : ('acc -> char -> 'acc) -> 'acc -> bytes -> 'acc

val fold_right : (char -> 'acc -> 'acc) -> bytes -> 'acc -> 'acc

val for_all : (char -> bool) -> bytes -> bool

val exists : (char -> bool) -> bytes -> bool

val trim : bytes -> bytes

val escaped : bytes -> bytes

val index : bytes -> char -> int

val index_opt : bytes -> char -> int option

val rindex : bytes -> char -> int

val rindex_opt : bytes -> char -> int option

val index_from : bytes -> int -> char -> int

val index_from_opt : bytes -> int -> char -> int option

val rindex_from : bytes -> int -> char -> int

val rindex_from_opt : bytes -> int -> char -> int option

val contains : bytes -> char -> bool

val contains_from : bytes -> int -> char -> bool

val rcontains_from : bytes -> int -> char -> bool

val uppercase_ascii : bytes -> bytes

val lowercase_ascii : bytes -> bytes

val capitalize_ascii : bytes -> bytes

val uncapitalize_ascii : bytes -> bytes

type t = bytes

val compare : t -> t -> int

val equal : t -> t -> bool

val starts_with : prefix:bytes -> bytes -> bool

val ends_with : suffix:bytes -> bytes -> bool

val unsafe_to_string : bytes -> string

val unsafe_of_string : string -> bytes

val split_on_char : char -> bytes -> bytes list

val to_seq : t -> char Stdlib.Seq.t

val to_seqi : t -> (int * char) Stdlib.Seq.t

val of_seq : char Stdlib.Seq.t -> t

val get_utf_16be_uchar : t -> int -> Stdlib.Uchar.utf_decode

val set_utf_16be_uchar : t -> int -> Stdlib.Uchar.t -> int

val is_valid_utf_16be : t -> bool

val get_utf_16le_uchar : t -> int -> Stdlib.Uchar.utf_decode

val set_utf_16le_uchar : t -> int -> Stdlib.Uchar.t -> int

val is_valid_utf_16le : t -> bool

val get_uint8 : bytes -> int -> int

val get_int8 : bytes -> int -> int

val get_uint16_ne : bytes -> int -> int

val get_uint16_be : bytes -> int -> int

val get_uint16_le : bytes -> int -> int

val get_int16_ne : bytes -> int -> int

val get_int16_be : bytes -> int -> int

val get_int16_le : bytes -> int -> int

val get_int32_ne : bytes -> int -> int32

val get_int32_be : bytes -> int -> int32

val get_int32_le : bytes -> int -> int32

val get_int64_ne : bytes -> int -> int64

val get_int64_be : bytes -> int -> int64

val get_int64_le : bytes -> int -> int64

val set_uint8 : bytes -> int -> int -> unit

val set_int8 : bytes -> int -> int -> unit

val set_uint16_ne : bytes -> int -> int -> unit

val set_uint16_be : bytes -> int -> int -> unit

val set_uint16_le : bytes -> int -> int -> unit

val set_int16_ne : bytes -> int -> int -> unit

val set_int16_be : bytes -> int -> int -> unit

val set_int16_le : bytes -> int -> int -> unit

val set_int32_ne : bytes -> int -> int32 -> unit

val set_int32_be : bytes -> int -> int32 -> unit

val set_int32_le : bytes -> int -> int32 -> unit

val set_int64_ne : bytes -> int -> int64 -> unit

val set_int64_be : bytes -> int -> int64 -> unit

val set_int64_le : bytes -> int -> int64 -> unit

val unsafe_get : bytes -> int -> char

val unsafe_set : bytes -> int -> char -> unit

val unsafe_blit : bytes -> int -> bytes -> int -> int -> unit

val unsafe_blit_string : string -> int -> bytes -> int -> int -> unit

val unsafe_fill : bytes -> int -> int -> char -> unit

val unsafe_escape : bytes -> bytes

val unsafe_get_uint8 : bytes -> int -> int

val unsafe_set_uint8 : bytes -> int -> int -> unit

val dec_invalid : int -> int

val dec_ret : int -> int -> int

val not_in_x80_to_xBF : int -> bool

val not_in_xA0_to_xBF : int -> bool

val not_in_x80_to_x9F : int -> bool

val not_in_x90_to_xBF : int -> bool

val not_in_x80_to_x8F : int -> bool

val utf_8_uchar_2 : int -> int -> int

val utf_8_uchar_3 : int -> int -> int -> int

val utf_8_uchar_4 : int -> int -> int -> int -> int

val get_utf_8_uchar : bytes -> int -> int

val set_utf_8_uchar : bytes -> int -> Uchar.t -> int

val is_valid_utf_8 : bytes -> bool