package prbnmcn-basic-structures

  1. Overview
  2. Docs
type 'a m = 'a

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