avail
2.0.0.alpha24
jvm
avail
/
avail.optimizer
/
L2ValueManifest
/
Constraint
/
Constraint
Constraint
constructor
(
original
:
L2ValueManifest.Constraint
)
A copy constructor, producing an instance that will not change when the original instance changes.
constructor
(
theDefinitions
:
List
<
L2Register
>
,
restriction
:
TypeRestriction
)