let f (_ : Lib.t) = ()