package frenetic

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type HashCmp = sig ... end

The signature for a type that can be compared and hashed

module type Lattice = sig ... end

The signature for a type that has a lattice structure.

module type Result = sig ... end

The type for a result that has a semi-ring structure

module IntPairTbl : Core.Hashtbl.S with type key = int * int
module Make (V : HashCmp) (L : Lattice) (R : Result) : sig ... end

Variable-Lattice-Result

OCaml

Innovation. Community. Security.