Nuprl Definition : ler_leader_ring

Nuprl Definition : ler_leader_ring_headers

ler_leader_ring_headers() == [[propose]; [choose]; [leader]; [config]]

Definitions occuring in Statement : cons: [car / cdr], nil: [], token: "$token"
FDL editor aliases : ler_leader_ring_headers

ler\_leader\_ring\_headers() == [[propose]; [choose]; [leader]; [config]] Date html generated: 2012_02_20-PM-06_01_49 Last ObjectModification: 2012_02_02-PM-02_38_11 Home Index