Module Lin.Fun

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.