HOL.OpenTheory.Interpret

data Symbol

symbolName

renameSymbol

data Rename

destRename

data Renames

concatRenames

data Interpret

mk

empty

toRenames

fromRenames

fromRenamesUnsafe

interpret

interpretTypeOp

interpretConst

compose