package fix

  1. Overview
  2. Docs

Module DataFlow.ForOrderedTypeSource

Parameters

module P : sig ... end
module G : sig ... end

Signature

Sourcetype variable = G.variable
Sourcetype property = P.property option
Sourceval solution : variable -> property