mathlib documentation

meta constant options  :

meta constant options.size (a : options) :

meta constant options.mk  :

meta constant options.contains (a : options) (a_1 : name) :

meta constant options.set_bool (a : options) (a_1 : name) (a_2 : bool) :

meta constant options.set_nat (a : options) (a_1 : name) (a_2 : ℕ) :

meta constant options.set_string (a : options) (a_1 : name) (a_2 : string) :

meta constant options.get_bool (a : options) (a_1 : name) (a_2 : bool) :

meta constant options.get_nat (a : options) (a_1 : name) (a_2 : ℕ) :

meta constant options.get_string (a : options) (a_1 : name) (a_2 : string) :

meta constant options.join (a a_1 : options) :

meta constant options.fold {α : Type u} (a : options) (a_1 : α) (a_2 : name → α → α) :

meta constant options.has_decidable_eq  :