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

Safe Haskell	None

HERMIT.Shell.Dictionary

Synopsis

Documentation

mkDict :: [External] -> Dictionary Source

Create a dictionary from a list of Externals.

pp_dictionary :: Map String (PrettyH CoreTC)Source

The pretty-printing dictionaries.