.. _type_checker.h:
  
mcrl2/data/experimental/type_checker.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/data/experimental/type_checker.h"

add your file description here. 




Classes
-------

* :cpp:class:`mcrl2::data::type_checker`

Functions
-------------------------------------------------------------------------------

.. cpp:function:: bool mcrl2::data::detail::is_nat(const core::identifier_string &Number)
  
  

  

.. cpp:function:: bool mcrl2::data::detail::is_numeric_type(const sort_expression &x)
  
  

  

.. cpp:function:: bool mcrl2::data::detail::is_pos(const core::identifier_string &Number)
  
  

  

.. cpp:function:: function_sort mcrl2::data::detail::make_function_sort_(const sort_expression &domain, const sort_expression &codomain)
  
  

  

.. cpp:function:: atermpp::term_list<T> mcrl2::data::detail::transform_aterm_list(const Function &f, const atermpp::term_list< T > &x)
  
  

  

.. cpp:function:: sort_expression mcrl2::data::detail::unwind_sort_expression(const sort_expression &x, const alias_vector &aliases)