package codept-lib

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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 `Zipper_fold.Make`Source

Parameters

module X : Zipper_def.fold

module Env : Stage.envt

Signature

Sourcetype on_going

Sourceval initial : M2l.t -> on_going

Source

val next : 
  pkg:Pkg.t ->
  (Env.t -> on_going -> (Module.Sig.t * X.m2l, on_going) result) Stage.param

Sourceval block : on_going -> (Summary.t * Paths.S.t) Loc.ext option

Sourceval recursive_patching : on_going -> Summary.t -> on_going

Sourceval pp : on_going Pp.t

package codept-lib

Module Zipper_fold.MakeSource

Parameters

Signature

Module `Zipper_fold.Make`Source