Module Miniml.InfvInst

type t
val compare : t -> t -> int
val equal : t -> t -> bool
val empty : t

No bound sort variables

val generate : UVars.AbstractContext.t -> t list

2^n possible instances for this context

val default : UVars.AbstractContext.t -> t

All sorts informative

val ground : UVars.Instance.t -> t

From a ground instance returns an informativity instance

The other way around

val encode : t -> string option

A string that can be used as an identifier suffix, guaranteed to be injective for instances of the same length.