package codex

  1. Overview
  2. Docs

Module Sig.Convert_Integer_ForwardSource

Parameters

module D : With_Integer_Forward with module Context = C.To

Signature

Sourcemodule C : sig ... end
Sourcemodule F : sig ... end
include sig ... end
Sourcetype integer = F.integer
Sourcetype boolean = F.boolean