Module Infix.Heyting_Algebra

Parameters

• H : Interface.HEYTING_ALGEBRA

Signature

val (-->) : H.t -> H.t -> H.t