DEBSOURCES
Skip Quicknav
sources / mlton / 20210117%2Bdfsg-3 / regression / fail / modules.48.sml
1234567891011
signature S = sig datatype t = T end structure S1: S = struct datatype t = T end structure S2: S where type t = int = S1