all_consts

Term.all_consts : unit -> term list

All known constants in the current theory.

An invocation all_consts returns a list of all declared constants in the current theory, i.e., all constants in the current theory segment and in its ancestry.

Failure

Never fails.

Example

> all_consts();
val it =
   [“words$word_xor”, “words$word_xnor”, “words$word_to_oct_string”,
    “words$word_to_oct_list”, “words$word_to_hex_string”,
    “words$word_to_hex_list”, “words$word_to_dec_string”,
    “words$word_to_dec_list”, “words$word_to_bin_string”,
    “words$word_to_bin_list”, “words$word_sub”, “words$word_smin”,
    “words$word_smax”, “words$word_slice”, “words$word_signed_bits”,
    “words$word_sign_extend”, “words$word_rrx”, “words$word_ror_bv”,
    “words$word_ror”, “words$word_rol_bv”, “words$word_rol”,
    “words$word_reverse”, “words$word_replicate”, “words$word_rem”,
    “words$word_reduce”, “words$word_quot”, “words$word_or”,
    “words$word_nor”, “words$word_nand”, “words$word_mul”, “words$word_msb”,
    “words$word_modify”, “words$word_mod”, “words$word_min”,
    “words$word_max”, “words$word_lt”, “words$word_lsr_bv”, “words$word_lsr”,
    “words$word_lsl_bv”, “words$word_lsl”, “words$word_lsb”, “words$word_ls”,
    “words$word_log2”, “words$word_lo”, “words$word_len”, “words$word_le”,
    “words$word_join”, “words$word_hs”, “words$word_hi”, “words$word_gt”,
    “words$word_ge”, “words$word_from_oct_string”,
    “words$word_from_oct_list”, “words$word_from_hex_string”,
    “words$word_from_hex_list”, “words$word_from_dec_string”,
    “words$word_from_dec_list”, “words$word_from_bin_string”,
    “words$word_from_bin_list”, “words$word_extract”,
    “words$word_exp_tailrec”, “words$word_exp”, “words$word_div”,
    “words$word_concat”, “words$word_compare”, “words$word_bits”,
    “words$word_bit”, “words$word_asr_bv”, “words$word_asr”,
    “words$word_and”, “words$word_add”, “words$word_abs”, “words$word_T”,
    “words$word_L2”, “words$word_L”, “words$word_H”, “words$word_2comp”,
    “words$word_1comp”, “words$w2w”, “words$w2s”, “words$w2n”, “words$w2l”,
    “words$sw2sw”, “words$saturate_w2w”, “words$saturate_sub”,
    “words$saturate_n2w”, “words$saturate_mul”, “words$saturate_add”,
    “words$s2w”, “words$reduce_xor”, “words$reduce_xnor”, “words$reduce_or”,
    “words$reduce_nor”, “words$reduce_nand”, “words$reduce_and”,
    “words$nzcv”, “words$n2w_itself”, “words$n2w”, “words$l2w”,
    “words$dimword”, ...]: term list

See also

Parse.term_grammar