let the = function Some x -> x | None -> invalid_arg "the: expect Some not None"