/*  Creator: make/0

    Purpose: Provide index for autoload
*/

index((paxos_get), 1, paxos, paxos).
index((paxos_get), 2, paxos, paxos).
index((paxos_get), 3, paxos, paxos).
index((paxos_set), 1, paxos, paxos).
index((paxos_set), 2, paxos, paxos).
index((paxos_set), 3, paxos, paxos).
index((paxos_on_change), 2, paxos, paxos).
index((paxos_on_change), 3, paxos, paxos).
index((paxos_initialize), 1, paxos, paxos).
index((paxos_admin_key), 2, paxos, paxos).
index((paxos_property), 1, paxos, paxos).
index((paxos_quorum_ask), 4, paxos, paxos).
index((paxos_replicate_key), 3, paxos, paxos).
