hermit-0.5.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone
LanguageHaskell2010

HERMIT.Shell.Dictionary

Synopsis

Documentation

mkDict :: [External] -> Dictionary Source

Create a dictionary from a list of Externals.

pp_dictionary :: Map String PrettyPrinter Source

The pretty-printing dictionaries.