Def PartialFun

Modification history