package carton-lwt

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package carton-lwt

carton-lwt
- CHANGES.carton
- Library carton-lwt
  - Carton_lwt
    
    Scheduler
    
    Dec
    
    W
    
    Idx
    
    Fp
    
    Verify
    
    Ip
    
    Enc
    
    VERBOSE
    
    UID
    
    Delta
    
    N
    
    Thin
    
    Make
- Sources
  - carton-lwt
    
    carton_lwt.ml
    
    carton_lwt__.ml
    
    lwt_io.ml

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

Module `Dec.Verify`Source

Parameters

module Uid : Carton.UID

Signature

Sourcetype status

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

Sourceval is_resolved : status -> bool

Sourceval uid_of_status : status -> Uid.t

Sourceval kind_of_status : status -> Carton.kind

Sourceval depth_of_status : status -> int

Sourceval source_of_status : status -> Uid.t option

Sourceval offset_of_status : status -> int64

Sourceval unresolved_base : cursor:int64 -> status

Sourceval unresolved_node : status

Source

val verify : 
  threads:int ->
  map:'fd W.map ->
  oracle:Uid.t oracle ->
  verbose:(unit -> unit) ->
  ('fd, Uid.t) t ->
  matrix:status array ->
  unit Lwt.t

package carton-lwt

Module Dec.VerifySource

Parameters

Signature

Module `Dec.Verify`Source