Up
–
preface
»
Preface_laws
»
Arrow_zero
» For
Module
Arrow_zero.For
Parameters
Signature
Parameters
module
A
:
Preface_specs.ARROW_ZERO
Signature