void.ml
preface
preface.core
preface.laws
preface.make
preface.qcheck
preface.specs
preface.stdlib
1 2 3 4 5 type t = | let absurd : t -> 'a = function _ -> . let left x = Stdlib.Either.fold ~left:Fun.id ~right:absurd x let right x = Stdlib.Either.fold ~left:absurd ~right:Fun.id x
1 2 3 4 5
type t = | let absurd : t -> 'a = function _ -> . let left x = Stdlib.Either.fold ~left:Fun.id ~right:absurd x let right x = Stdlib.Either.fold ~left:absurd ~right:Fun.id x