package prbnmcn-basic-structures

  1. Overview
  2. Docs
Base package for prbnmcn-* packages

Install

Dune Dependency

Authors

Maintainers

Sources

0.0.1.tar.gz
md5=f169865416fdd1804beace6daeba2cb9
sha512=8a78c0572866e6471f8123d702aee42e6abdef6b0b633ab0ea678382a26194a1d79dea9d44ea0cb7b45d77dac25a6706153c3074f7b0aad05ce744fb480d8518

Description

Published: 22 Aug 2021

README

prbnmcn-basic-structures

prbnmcn-basic-structures gathers interfaces and basic implementations for these interfaces, pervasive to all the prbnmcn-* packages.

There's probably nothing interesting for you here.

This library is still in the experimental stage: APIs are not stabilized yet.

Documentation

Dependencies (3)

  1. zarith >= "1.10"
  2. ocaml >= "4.12.0"
  3. dune >= "2.8"

Dev Dependencies (1)

  1. odoc with-doc

Conflicts

None