package pds-reachability

You can search for identifiers within the package.

in-package search v0.2.0

A PDS reachability query library.

Install

dune-project

Dependency

sha256=4cdaed4e2f0f1f008552d3125b95880799be70cc18d0a7ff00da78f9c10e19de

md5=66d2fb3dbbcd2fca866cc7ecaecc7a0b

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.