Reference

• minigun.specify module
  • Spec
  • prop()
  • neg()
  • conj()
  • disj()
  • impl()
  • context()
  • check()
• minigun.domain module
  • Domain
  • bool()
  • small_nat()
  • nat()
  • big_nat()
  • small_int()
  • int()
  • big_int()
  • float()
  • int_range()
  • bounded_str()
  • str()
  • word()
  • tuple()
  • bounded_list()
  • list()
  • bounded_dict()
  • dict()
  • bounded_set()
  • set()
  • maybe()
  • argument_pack()
• minigun.generate module
  • map()
  • bind()
  • lazy()
  • filter()
  • constant()
  • none()
  • bool()
  • small_nat()
  • nat()
  • big_nat()
  • small_int()
  • int()
  • big_int()
  • float()
  • int_range()
  • bounded_str()
  • str()
  • word()
  • tuple()
  • bounded_list()
  • list()
  • map_list()
  • list_append()
  • bounded_dict()
  • dict()
  • map_dict()
  • dict_insert()
  • bounded_set()
  • set()
  • map_set()
  • set_add()
  • maybe()
  • argument_pack()
  • choice()
  • weighted_choice()
  • one_of()
  • subset_of()
  • infer()
• minigun.shrink module
  • head()
  • tail()
  • map()
  • bind()
  • filter()
  • concat()
  • prepend()
  • append()
  • singleton()
  • unfold()
  • int()
  • float()
  • str()
• minigun.pretty module
  • bool()
  • int()
  • float()
  • str()
  • tuple()
  • list()
  • dict()
  • set()
  • maybe()
  • argument_pack()
  • infer()
• minigun.arbitrary module
  • seed()
  • bool()
  • nat()
  • int()
  • probability()
  • float()
  • weighted_choice()
  • choice()
• minigun.stream module
  • next()
  • peek()
  • is_empty()
  • map()
  • filter()
  • filter_map()
  • unfold()
  • empty()
  • singleton()
  • constant()
  • prepend()
  • append()
  • concat()
  • braid()
  • from_list()
  • to_list()