arrow_zero.ml
preface
preface.core
preface.laws
preface.make
preface.qcheck
preface.specs
preface.stdlib
1 2 3 4 module Suite (R : Model.PROFUNCTORIAL) (P : Preface_specs.ARROW_ZERO with type ('a, 'b) t = ('a, 'b) R.t) = Arrow.Suite (R) (P)
1 2 3 4
module Suite (R : Model.PROFUNCTORIAL) (P : Preface_specs.ARROW_ZERO with type ('a, 'b) t = ('a, 'b) R.t) = Arrow.Suite (R) (P)