package picos_aux

  1. Overview
  2. Docs

Auxiliary libraries for Picos

This package contains auxiliary libraries used in the implementation of other Picos libraries.

Some of these libraries might be moved to other packages in the future.

OCaml

Innovation. Community. Security.