We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Can we parse a Struct and then test some functions and methods associated with the structs
struct List a = Cons(hd: a, next: List a) | Nil /* cons a lst = Cons a lst head lst = #hd lst head2 lst = lst.hd res2 = #=hd 2 lst res3 = lst.=hd 2 res4 = res2 == res3 res = cons 1 Nil */