dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Parameter #3 Dolmen_type . Strings . Smtlib2 . Tff . T

Sub-module used for namespacing for the string part of the theory requirements.