package preface

You can search for identifiers within the package.

in-package search v0.2.0

Module `Preface_laws.Indexed_bind`

module type LAWS = sig ... end

module For
  (B : Preface_specs.INDEXED_BIND) : 
  LAWS with type ('a, 'index) t := ('a, 'index) B.t