to: ComparisonRef ~> Goal

Examples

    TODO

Metadata