package owee

  1. Overview
  2. Docs

Parameters

module M : T0

Signature

val marker : M.t marker

The marker should only appear as a field of an object of type M.t.

type t = ...; marker: M.t marker; (* Correct *)

type t = | Normal of ... | Marked of ... * M.t marker (* Correct *)

type t = | Normal of ... | Marked of (... * M.t marker) (* Wrong: marker is part of the tuple, not of the value of type t *)