Issue759.agda:9,13-19
public does not have any effect in an abstract block.

———— All done; warnings encountered ————————————————————————

Issue759.agda:9,13-19
public does not have any effect in an abstract block.
