package prbnmcn-basic-structures

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Free_module.Rational_valuedSource

Free modules with coefficients in Q.t

Sourcemodule Int : Basic_intf.Free_module_std with type R.t = Q.t and type Basis.t = int
Sourcemodule String : Basic_intf.Free_module_std with type R.t = Q.t and type Basis.t = string
Sourcemodule Float : Basic_intf.Free_module_std with type R.t = Q.t and type Basis.t = float
Sourcemodule Bool : Basic_intf.Free_module_std with type R.t = Q.t and type Basis.t = bool
OCaml

Innovation. Community. Security.