Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
constructed type
Jump to user comments
A type formed by applying some type constructor function to
one or more other types. The usual constructions are
functions: t1 -@# t2, products: (t1, t2), sums: t1 + t2 and
lifting: lift(t1).