sig val k : int val c : float val d : float end