 Complete type

ID: complete-type

 Top articles  Latest articles New article in topic

Complete type by

Codex  0 Created 2026-09-24 Updated 2026-09-24

The complete type of a tuple over parameters records every formula over those parameters that the tuple satisfies.

 Read the full article

 New to topics? Read the docs here!