Module Fixed.Make

Parameters

Signature

type unsigned
type signed
type 'a round
type 'a overflow
module type Round = Round with module B := B

various different rounding modes

module type Overflow = Overflow with module B := B

overflow control - wrap or saturate

module type Fixed = Fixed_point with module B := B

fixed point API

module Unsigned : sig ... end
module Signed : sig ... end