package clarity

  1. Overview
  2. Docs

Parameters

module M1 : S
module M2 : S

Signature

type t = M1.t * M2.t
val append : t -> t -> t
val zero : t