Class TypeCore.iter

class ['env] iter : object .. end

Inherits

method tyunknown : 'env -> unit

The case methods now perform a recursive traversal.

method tydynamic : 'env -> unit

method tybound : 'env -> db_index -> unit

method tyopen : 'env -> var -> unit

method tyq : 'env ->
       quantifier ->
       type_binding -> flavor -> typ -> unit

method tyapp : 'env -> typ -> typ list -> unit

method tytuple : 'env -> typ list -> unit

method tyconcrete : 'env -> branch -> unit

method tysingleton : 'env -> typ -> unit

method tyarrow : 'env -> typ -> typ -> unit

method tybar : 'env -> typ -> typ -> unit

method tyanchoredpermission : 'env -> typ -> typ -> unit

method tyempty : 'env -> unit

method tystar : 'env -> typ -> typ -> unit

method tyand : 'env -> mode_constraint -> typ -> unit

method branch : 'env -> branch -> unit

An auxiliary method for visiting a branch.

An auxiliary method for visiting a resolved data constructor.

method resolved_datacon : 'env -> resolved_datacon -> unit

An auxiliary method for visiting a field.

method field : 'env -> data_field_def -> unit

An auxiliary method for visiting a data type group.

method data_type_group : 'env -> data_type_group -> unit