package mel-bastet

  1. Overview
  2. Docs
package mel-bastet
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Verify.PlusSource

Parameters

module P : Interface.PLUS

Signature

include sig ... end
Sourcemodule I : sig ... end
Sourceval annihalation : ('a -> 'b) -> bool
Sourceval identity : 'a P.t -> bool