package caisar

You can search for identifiers within the package.

in-package search v0.2.0

caisar
- CHANGES
- README
- Library caisar.ir
  - Ir
    
    Nier_cfg
    
    Tensor
    
    Node
    
    VInput
    
    MakeVertex
    
    Edge
    
    NierCFG
    
    V
    
    E
    
    NierCFGFloat
    
    V
    
    E
- Library caisar.nnet
  - Nnet
- Library caisar.onnx
  - Onnx
    
    G
- Library caisar.ovo
  - Ovo
- Library caisar.xgboost
  - Caisar_xgboost
    
    Input
    
    Parser
    
    Predict
    
    Tree
- Sources
  - caisar.ir
    
    ir.ml
    
    nier_cfg.ml
  - caisar.nnet
    
    nnet.ml
  - caisar.onnx
    
    onnx.ml
    
    onnx__.ml
    
    onnx_protoc.ml
  - caisar.ovo
    
    ovo.ml
  - caisar.xgboost
    
    caisar_xgboost.ml
    
    input.ml
    
    parser.ml
    
    predict.ml
    
    tree.ml

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

Module `NierCFG.V`Source

Vertices have type V.t and are labeled with type V.label (note that an implementation may identify the vertex with its label)

Vertices are COMPARABLE.

Sourcetype t = MakeVertex(I).t

include Graph.Sig.COMPARABLE with type t := t

Sourceval compare : t -> t -> int

Sourceval hash : t -> int

Sourceval equal : t -> t -> bool

Vertices are labeled.

Sourcetype label = MakeVertex(I).t

Sourceval create : label -> t

Sourceval label : t -> label