prbnmcn-basic-structures

Base package for prbnmcn-* packages
Library prbnmcn-basic-structures
module Integer : sig ... end

The ring of integers

module Integer_mod2 : sig ... end

The finite field of integers modulo 2

module Free_module : sig ... end

Free module over a ring generated by a finite, totally ordered set

module Reals : sig ... end

Real numbers

module Lang : sig ... end

Direct implementation of the Intf_lang signatures.

module Int_map : sig ... end
module Int_set : sig ... end
module String_map : sig ... end
module Float_map : sig ... end
module Bool_map : sig ... end
module Monad : sig ... end