Words starting with constructedtyp
Maybe these words will be useful:
- constructed type — (types) 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). (In LaTeX, the lifted type is written with a subscript \perp). See also algebraic data type, primitive type.
- constructed — to build or form by putting together parts; frame; devise.
- constructers — Plural form of constructer.
- constructer — a person or thing that builds.