Function seed_successful12 

pub fn seed_successful12(
    client: AgentName,
    server: AgentName,
) -> Trace<TLSProtocolTypes>