equal
deleted
inserted
replaced
174 end; |
174 end; |
175 *} |
175 *} |
176 |
176 |
177 hide (open) type seed |
177 hide (open) type seed |
178 hide (open) const inc_shift minus_shift log "next" seed_invariant split_seed |
178 hide (open) const inc_shift minus_shift log "next" seed_invariant split_seed |
179 iterate range select pick select_weight select_default |
179 iterate range select pick select_weight |
180 |
180 |
181 no_notation fcomp (infixl "o>" 60) |
181 no_notation fcomp (infixl "o>" 60) |
182 no_notation scomp (infixl "o\<rightarrow>" 60) |
182 no_notation scomp (infixl "o\<rightarrow>" 60) |
183 |
183 |
184 end |
184 end |