Make.3-O
val inject : Signatures.id -> tyvar
inject
provides an injection of unique integer identifiers into decoded type variables.
val structure : ty S.structure -> ty
structure s
turns s
, a structure whose children are decoded types, into a decoded type.