atermpp::unary_template_swap< C, E > Struct Template Reference

#include <type_traits.h>

Public Types
typedef C< E >	type

Detailed Description

template<template< typename O > class C, typename E>
struct atermpp::unary_template_swap< C, E >

Definition at line 60 of file type_traits.h.

Member Typedef Documentation

type

template<template< typename O > class C, typename E >

typedef C< E > atermpp::unary_template_swap< C, E >::type

Definition at line 62 of file type_traits.h.

---

The documentation for this struct was generated from the following file:

• atermpp/include/mcrl2/atermpp/type_traits.h