1 2 3 4 5 6 7 8
structure A = struct signature S = sig val x : int end end structure B : A.S = struct val x = 42 end