Description

String considerations; see Section 12.6.

Example

considering case
        "heyho" contains "H" -- false
end considering