compiler/edu.cornell.cs.apl.viaduct.selection/Implies

Implies

data class Implies(lhs: SelectionConstraint, rhs: SelectionConstraint) : SelectionConstraint
Content copied to clipboard

Functions

toDocument
Link copied to clipboard
open override fun toDocument(): Document
Content copied to clipboard

Properties

lhs
Link copied to clipboard
val lhs: SelectionConstraint
Content copied to clipboard
rhs
Link copied to clipboard
val rhs: SelectionConstraint
Content copied to clipboard