Up – Package index » qcheck-lin » Library qcheck-lin.lin » Lin » Fun

Module `Lin.Fun`Source

Sourcetype (_, _, _) fn

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