HERMIT.Kernel

The HERMIT Kernel

data AST

firstAST

data ASTMap

data Kernel

data KernelEnv

hermitKernel

data CommitMsg

Kernel Interface

resumeK

abortK

applyK

queryK

deleteK

listK

tellK