on_line: Goal ~> Locus

Examples

    TODO

Metadata