dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Module Dolmen_type . Float
module Smtlib2 : sig ... end

Smtlib floating point builtins