package prbnmcn-linalg

  1. Overview
  2. Docs
type 'a m

'a m is the type of programs computing a value of type 'a