package fix

  1. Overview
  2. Docs

Parameters

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

Signature

type variable = G.variable
type property = P.property option
val solution : variable -> property
OCaml

Innovation. Community. Security.