package wax-lib

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

Module Eq.SyntaxSource

Parameters

module F : Formula with type 'kind desc = 'kind t

Signature

Sourceval eq : kind Var.t -> elt -> F.t
Sourceval (=) : kind Var.t -> elt -> F.t
Sourceval (<>) : kind Var.t -> elt -> F.t