Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder, DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerjonathan.von_schroeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

HolLight.HolLight2DG

Description

 

Documentation

readTuple :: (Show a, Show b) => MSaxState a -> MSaxState b -> MSaxState (a, b)

calcSig :: [(String, Term)] -> Sign

prettifyTypeVars :: ([(String, [(String, Term)])], [(String, String)]) -> ([(String, [(String, Term)])], [(String, String)])