Criterion.Main.Options: exported symbols usage examples

Symbols