mathlib documentation

core.init.meta.mk_has_sizeof_instance

source
meta def tactic.mk_has_sizeof_instance_core (use_default : bool) :
tactic unit

source
meta def tactic.mk_has_sizeof_instance  :
tactic unit