prbnmcn-basic-structures

Base package for prbnmcn-* packages
package prbnmcn-basic-structures
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library prbnmcn-basic-structures
Module Basic_structures . Basic_impl . Free_module . Rational_valued
module Int : Basic_intf.Free_module_std with type R.t = Q.t and type Basis.t = int
module String : Basic_intf.Free_module_std with type R.t = Q.t and type Basis.t = string
module Float : Basic_intf.Free_module_std with type R.t = Q.t and type Basis.t = float
module Bool : Basic_intf.Free_module_std with type R.t = Q.t and type Basis.t = bool
module Make_with_map (X : Basic_intf.Std) : Free_module_with_map with type r = Q.t and type Map.key = X.t