implementation module Optional

from StdReal import entier; // RWS marker