package alg_structs

  1. Overview
  2. Docs

Module Semigroup.OptionSource

Semigroups over option types

Sourcemodule Make (S : S) : S with type t = S.t Option.t

Make (S) is a semigroup where op a b is...