package codex

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Sig.Convert_Boolean_ForwardSource

Parameters

module D : With_Boolean_Forward with module Context = C.To

Signature

Sourcemodule C : sig ... end
Sourcemodule F : sig ... end