sig val iff : bool -> '-> 'a option end