core/spire.syntax/HeytingSyntax

HeytingSyntax

trait HeytingSyntax
class Object
trait Matchable
class Any
trait AllSyntax
object implicits
object all
object bool
object heyting

Implicits

Implicits

implicit
def heytingOps[A : Heyting](a: A): HeytingOps[A]