Up
–
preface
»
Preface_laws
»
Arrow_plus
» For
Module
Arrow_plus.For
Parameters
Signature
Parameters
module
A
:
Preface_specs.ARROW_PLUS
Signature