#!/usr/bin/env pypy3 # base types in hol light: BOOL = 'bool' FUN = 'fun' IND = 'ind' # this package's abbreviations: TYVAR = 'a' APP = 'b' # need TYVAR