ch.datascience.graph
Trait for proving that a value of type V is either a BoxedValue or there is a proof that v is a valid value (see: ValidValue).
analyzed type
Created by johann on 27/04/17.
Created by johann on 24/05/17.
Trait for proving that a value of type V is either a BoxedValue or there is a proof that v is a valid value (see: ValidValue).
analyzed type