HERMIT.Plugin

The HERMIT Plugin

hermitPlugin

Running translations

query

run

Using the shell

interactive

display

setPretty

setPrettyOptions

Active modifiers

at

pass

after

before

until

allPasses

firstPass

lastPass

Knobs and Dials

getPassInfo

modifyCLS

Types

defPS

data HPM a

hpmToIO