package fmlib_std

You can search for identifiers within the package.

in-package search v0.2.0

Module `Fmlib_std.Btree`

Sets and maps based on B trees.

module Set (Key : Interfaces.SORTABLE) : sig ... end

A finite set implemented by a B tree.

module Map (Key : Interfaces.SORTABLE) : sig ... end

A finite map implemented by a B tree.