package codept-lib

You can search for identifiers within the package.

in-package search v0.2.0

package codept-lib

codept-lib
- README
- Library codept-lib
  - Approx_parser
  - Ast_converter
  - Cmi
  - Debug
  - Dep_zipper
    
    Outline
    
    Make
  - Deps
    
    Edge
  - Envt
    
    Core
  - Fault
    
    Level
    
    Log
    
    Policy
  - Format_compat
  - Format_tags
  - Id
  - Loc
    
    Sch
  - Longident_converter
  - M2l
    
    Sch
    
    Annot
    
    Access
    
    Build
    
    Sig_only
  - Modname
    
    Map
  - Module
    
    Arg
    
    Divergence
    
    Origin
    
    Dict
    
    Schema
    
    Def
    
    Equal
    
    Sig
    
    Partial
    
    Namespace
  - Mresult
    
    Ok
    
    Error
  - Name
    
    Set
    
    Map
  - Namespaced
    
    Map
    
    Set
  - Option
    
    List'
  - Paths
    
    Simple
    
    Set
    
    Map
    
    S
    
    Expr
    
    Map
    
    simple_core
    
    Make_expr
    
    Map
    
    Expr
    
    Map
    
    E
  - Pkg
    
    Set
    
    Map
  - Pp
  - Pparse_compat
  - Read
  - Schema
    
    Lbl
  - Schematic
    
    L
    
    Tuple
    
    label
    
    Label
    
    Record
    
    Version
    
    Untyped
    
    Ext
  - Schematic_indices
    
    N
  - Slex
  - Solver
    
    Failure
    
    Make
    
    Directed
  - Sparser
  - Stage
    
    envt
    
    param
    
    generic_outliner
    
    outliner
  - Standard_faults
  - Standard_policies
  - Summary
    
    View
  - Support
    
    Map
    
    S
    
    Make
  - Transforms
  - Uloc
    
    Pp
  - Unit
    
    Pth
    
    Group
    
    Map
    
    Set
  - Unitname
    
    Map
    
    Set
  - Win32_compat
  - With_deps
  - Zipper
    
    Def
    
    Fold
    
    Pp
    
    Skeleton
  - Zipper_def
    
    Arg
    
    tree
    
    fold
    
    s
    
    T
    
    Abbrevs
  - Zipper_fold
    
    Zpath
    
    T
    
    Abbrevs
    
    Make
  - Zipper_pp
    
    Result_printer
    
    T
    
    Make
    
    Opaque
  - Zipper_skeleton
    
    state
    
    State
- Library codept-lib.bundled
  - Bundle
- Sources
  - codept-lib
    
    approx_parser.ml
    
    ast_converter.ml
    
    cmi.ml
    
    debug.ml
    
    dep_zipper.ml
    
    deps.ml
    
    envt.ml
    
    fault.ml
    
    format_compat.ml
    
    format_tags.ml
    
    id.ml
    
    loc.ml
    
    longident_converter.ml
    
    m2l.ml
    
    modname.ml
    
    module.ml
    
    mresult.ml
    
    name.ml
    
    namespaced.ml
    
    option.ml
    
    paths.ml
    
    pkg.ml
    
    pp.ml
    
    pparse_compat.ml
    
    read.ml
    
    schema.ml
    
    schematic.ml
    
    schematic_indices.ml
    
    slex.ml
    
    solver.ml
    
    sparser.ml
    
    stage.ml
    
    standard_faults.ml
    
    standard_policies.ml
    
    summary.ml
    
    support.ml
    
    transforms.ml
    
    uloc.ml
    
    unit.ml
    
    unitname.ml
    
    win32_compat.ml
    
    with_deps.ml
    
    zipper.ml
    
    zipper_def.ml
    
    zipper_fold.ml
    
    zipper_pp.ml
    
    zipper_skeleton.ml
  - codept-lib.bundled
    
    bundle.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Module.Def`Source

Helper functions for definitions

Sourceval empty : definition

Sourceval modules : dict -> definition

Sourceval add : definition -> (string * t) -> definition

Sourceval add_type : definition -> (string * t) -> definition

Sourceval add_gen : level -> definition -> (string * t) -> definition

Sourceval merge : definition -> definition -> definition

Sourceval weak_merge : definition -> definition -> definition

weak_merge x y never redefines values in x

Sourceval pp : Format.formatter -> definition -> unit

Sourceval sch : definition Schematic.t

Sourcetype t = definition

package codept-lib

Module Module.DefSource

Module `Module.Def`Source