ギャランティ型がた

noun

guarantee type

Computing term for a type or pattern that provides a guarantee, often in type systems or formal verification.

• この言げん語ごはギャランティ型がたを採さい用ようしている。

  This language adopts a guarantee type.