init.data.default ⟷ ?

Dependencies 17

Show graph

The unported dependencies are

• init.data.default
• init.data.bool.basic
• init.data.nat.basic
• init.data.list.default
• init.logic
• init.data.to_string
• init.data.char.basic
• init.data.bool.default
• init.data.string.basic
• init.data.option.basic
• init.data.unsigned.basic
• init.core
• init.data.basic
• init.data.repr
• init.data.sigma.basic
• init.data.fin.basic
• init.data.list.basic
• init.data.setoid