Include file:
#include "mcrl2/data/translate_user_notation.h
mcrl2::data::detail::
translate_user_notation_builder
¶mcrl2::data::detail::translate_user_notation_builder::
super
¶typedef for data_expression_builder< Derived >
apply
(T &result, const abstraction &x)¶apply
(T &result, const application &x)apply
(T &result, const function_symbol &x)¶derived
()