Copyright © 2007-2013 Zuse Institute Berlin
Version: $Id$
Authors: Thorsten Schuett (schuett@zib.de).
segment() = pos_integer()
1..config:read(replication_factor)
tester_create_segment/1 | |
tester_is_segment/1 |
tester_create_segment(Int :: pos_integer()) -> segment()
tester_is_segment(Segment :: segment()) -> boolean()
Generated by EDoc, Feb 29 2016, 16:12:20.