package qcheck-lin

  1. Overview
  2. Docs
type (_, _, _) fn

(ftyp,rtyp,styp) Fun.fn represents a function type of type ftyp, with return type rtyp, and with the underlying state type styp.