Test Mylang

let r0 = Listenv.emptyenv(Int(0));;

let test1 = Sum(Eint(5), Eint(2));;
let nameparam =
Let(
    "x",
    Fun(
        "a",
        Sum(Nameden "a", Nameden "a")
    ),
    Let(
        "q",
        Eint(2),
        Apply(
            Den "x",
            Name(Sum(Den "q", Den "q"))
        )
    )
);;

let wrongnameparam =
Let(
    "x",
    Fun(
        "a",
        Sum(Nameden "a", Nameden "a")
    ),
    Let(
        "q",
        Eint 2,
        Apply(
            Den "x",
            Sum(Den "q", Den "q")
        )
    )
);;