sig val ( |? ) : 'a option -> '-> 'end