Open Drup opened 9 years ago
I have spotted (in functoria) two bugs probably related:
module Dsl : Functoria_sigs.CORE with module Key = Functoria_key
Key is a dead link and Dsl is not linkified. All the following references to Dsl are linkified but are dead.
Key
Dsl
module type S = Functoria_sigs.S with ...
S is not linkified and all the following references to S are linkified but are dead.
S
I have spotted (in functoria) two bugs probably related:
Keyis a dead link andDslis not linkified. All the following references toDslare linkified but are dead.Sis not linkified and all the following references toSare linkified but are dead.