bind_int


Description:

public void bind_int (string name, int64 value)