choose.scala

  test("[choose] parsing"){
    val chooseInst:Obj = int.plus(int(2)).choose(rec(int.is(int.gt(int(10))) -> int.gt(int(20)),int -> int.plus(int(10))))
    assertResult(chooseInst)(parser.parse[IntType]("int[plus,2][choose,[int[is,int[gt,10]]:int[gt,20],int:int[plus,10]]]"))
    assertResult(chooseInst)(parser.parse[IntType]("int[plus,2][choose,[int[is,int[gt,10]]->int[gt,20] | int->int[plus,10]]]"))
    assertResult(chooseInst)(parser.parse[IntType]("int[plus,2][int[is,int[gt,10]]->int[gt,20] | int->int[plus,10]]"))
    assertResult(chooseInst)(parser.parse[IntType](
      """
        | int[plus,2]
        |    [int[is,int[gt,10]] -> int[gt,20]
        |    |int                -> int[plus,10]]""".stripMargin))
  }

//// RECAP

[choose,[int[is,int[gt,10]]:int[gt,20],int:int[plus,10]]]

[choose,[int[is,int[gt,10]]->int[gt,20] | int->int[plus,10]]]

[int[is,int[gt,10]]->int[gt,20] | int->int[plus,10]]
  
  [int[is,int[gt,10]] -> int[gt,20]
  |int                -> int[plus,10]]

[ [is>10] -> [gt,20]
| int     -> [plus,10] ]