nil
cons
S
O
Program
Fixpoint
Definition
Lemma
Theorem
Open
Scope
Require
Import
Set
Implicit
Args
Type
Set
Prop
return
let
in
if
then
else
fix
DAEMON
bool_of_Prop
classical_boolean_equivalence
list_equal_by
list_member_by
LT
EQ
GT
ordering_equal
tuple_equal_by
nat_power
nat_div
nat_mod
nat_min
nat_max
nat_ltb
nat_lteb
nat_gtb
nat_gteb
int_ltb
int_lteb
int_gtb
int_gteb
set_equal_by
set_member_by
set_compare_by
set_empty
set_is_empty
set_add
set_choose
set_cardinal
set_any
set_for_all
set_inter_by
set_union_by
set_diff_by
set_fold
set_select_subset
set_subset_by
set_proper_subset_by
set_from_list
set_to_list
set_sigma
set_choose_dependent
set_case_by
set_tc
fmap
fmap_equal_by
fmap_empty
fmap_add
fmap_is_empty
fmap_lookup_by
fmap_all
fmap_delete_by
fmap_map
bool_default
nat_default
list_default
set_default
fmap_default
string_default
unit_default
option_default
value
option
