existential type

短语

词形变化

existential types 复数 existential types

别名

existential

释义与例句

n.
  1. 1.

    In a type system: a type that hides the underlying concrete type(s).

    计算机 工程 数学
  2. 2.

    Used other than figuratively or idiomatically: see existential, type.