Module Bastet__Infix.Heyting_Algebra

Parameters

• H : Bastet.Interface.HEYTING_ALGEBRA

Signature

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