Add explanatory comment

informalsystems · Jan 26, 2024 · eca5e83 · eca5e83
1 parent 0316cd8
commit eca5e83
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/quint/src/types/base.ts b/quint/src/types/base.ts
@@ -29,7 +29,8 @@ export interface TypeScheme {
 
 export type Signature = (_arity: number) => TypeScheme
 
-// TODO: Why aren't we noting type variables in the schema here?
+// Does not bind any type variables in `type`, which we take to assume
+// that `type` has no free variables in the context.
 export function toScheme(type: QuintType): TypeScheme {
   return { typeVariables: new Set([]), rowVariables: new Set([]), type }
 }