dest_vartype : hol_type -> string

SYNOPSIS

Breaks a type variable down to its name.

DESCRIPTION

dest_vartype ":A" returns "A" when A is a type variable.

FAILURE CONDITIONS

Fails with dest_vartype if the type is not a type variable.

EXAMPLE

  # dest_vartype `:A`;;
  val it : string = "A"

  # dest_vartype `:A->B`;;
  Exception: Failure "dest_vartype: type constructor not a variable".

SEE ALSO

mk_vartype, is_vartype, dest_type.