package caisar-ir

  1. Overview
  2. Docs

Parameters

module I : VInput

Signature

include Graph.Sig.VERTEX with type t = (I.l, I.r) Node.t
type t = (I.l, I.r) Node.t
include Graph.Sig.COMPARABLE with type t := t
val compare : t -> t -> int
val hash : t -> int
val equal : t -> t -> bool

Vertices are labeled.

type label
val create : label -> t
val label : t -> label
OCaml

Innovation. Community. Security.