adam@1574: con func a b = a -> b
adam@1574: 
adam@1574: signature S = sig
adam@1574:     con funcy a b = a -> b
adam@1574: end
adam@1574: 
adam@1574: structure M : S = struct
adam@1574:     con funcy = func
adam@1574: end