Module that defines an interface for an abstract type without implementing it

That is exactly what Interfaces.jl does, take a look at the documentation for more details.

I have succesfully used it in GraphsInterfaceChecker.jl for the JuliaGraphs ecosystem

ping @Raf

4 Likes