sig val k : int val alpha : float val invLFPhi : float -> float end