package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

The Frenetic Programming Language and Runtime System

Install

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

Sourcemodule type HashCmp = sig ... end

The signature for a type that can be compared and hashed

Sourcemodule type Lattice = sig ... end

The signature for a type that has a lattice structure.

Sourcemodule type Result = sig ... end

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

Sourcemodule IntPairTbl : Core.Hashtbl.S with type key = int * int

Sourcemodule Make (V : HashCmp) (L : Lattice) (R : Result) : sig ... end

Variable-Lattice-Result