package pds-reachability

You can search for identifiers within the package.

in-package search v0.2.0

A PDS reachability query library

Install

md5=e39c457a945cc4c42953502a1e56f14b

sha512=325e3e7f6eae417d4452e65360eeb756fc68f93bb4b842f2b2b5c9d02416e4e7c00f96b6f0ac051b287b7bf42a99cdab32188f64eaa7d9d424ade6567816d323

This module contains some convenient definitions used throughout the rest of this library.

Sourcemodule type Decorated_type = sig ... end

A type for modules which carry a value type along with a few common operations on that type.

Sourcemodule Unit : Decorated_type with type t = unit