pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.pml.operators/Merge/Ops

Ops

onera.pmlanalyzer.pml.operators.Merge$.Ops
trait Ops

If an element l is mergeable with an element r then the following operator can be used

l and r

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Extensions

Extensions

extension [L](x: L)
def and[R, O](y: R)(implicit ev: Aux[L, R, O]): O

PML keyword to merge an element with x

PML keyword to merge an element with x

Attributes

O

the resulting type of the merge

R

the type of y

ev

the proof that x can be merged with y

y

the other element

Returns:

the merge of x and y

Generated with