var class_form_interaction_event =
[
    [ "flags", "class_form_interaction_event.html#ace19313bdabc7a5afdb042ceb4cbe5b8", null ],
    [ "timestamp", "class_form_interaction_event.html#a61957bd960c3b2746c5fb9569c206f4c", null ],
    [ "type", "class_form_interaction_event.html#af166d6c54dd06d26f94270c60cdddd41", null ]
];