Up – Package index » Preface » Library preface.make » Preface_make » Bounded_meet_semilattice » Via » Infix

Module `Via.Infix`

Preface
- CHANGES
- README
- Library preface
  - Preface
- Library preface.core
  - Preface_core
- Library preface.laws
  - Preface_laws
- Library preface.make
  - Preface_make
- Library preface.qcheck
  - Preface_qcheck
- Library preface.specs
  - Preface_specs
- Library preface.stdlib
  - Preface_stdlib
- Sources

val (&&) : t -> t -> t

Infix version of meet.