details typedef

details = Details

HTML's details tag(Details).

Implementation

typedef details = Details;