Module Wp.Lang.Fun

module Fun: Logic.Function  with type t = lfun