iron
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
iron/io.github.iltotore.iron.constraint/any/False

False

io.github.iltotore.iron.constraint.any$.False$
See theFalse companion class
object False

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
False.type

Members list

Concise view

Givens

Givens

given `given_==>_False_Not`: Implication[False, Not[True]]

False implies Not[True]

False implies Not[True]

Attributes

inline given given_Constraint_A_False[A]: given_Constraint_A_False[A]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL