viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.algebra
/
FreeDistributiveLattice
/
LessThanOrEqualTo
Less
Than
Or
Equal
To
data
class
LessThanOrEqualTo
<
A
>
(
val
from
:
FreeDistributiveLattice
<
A
>
,
val
to
:
FreeDistributiveLattice
<
A
>
)
Represents the assumption that
from
is below
to
.
Constructors
Properties
See also
See also
Free
Distributive
Lattice.
less
Than
Or
Equal
To
Constructors
Less
Than
Or
Equal
To
Link copied to clipboard
fun
<
A
>
LessThanOrEqualTo
(
from
:
FreeDistributiveLattice
<
A
>
,
to
:
FreeDistributiveLattice
<
A
>
)
Properties
from
Link copied to clipboard
val
from
:
FreeDistributiveLattice
<
A
>
to
Link copied to clipboard
val
to
:
FreeDistributiveLattice
<
A
>