Module Psmt2Frontend__Smtlib_typed_logic