push_head


Description:

public void push_head (owned G data)