noted that contrary to the prev. commit message, the type schene of Leaf constructor is being computed correctly.
noted that contrary to the prev. commit message,
the type schene of Leaf constructor is being computed correctly.

(* extracting the type of constructor Leaf
( -> Tot (naryTree t n))
([("' t", 0); ("' n", 0)],
 MLTY_Named
   ([MLTY_Var ("' t", 0); MLTY_Named ([],(["Prims"], "unit"))],
    (["Test"], "naryTree"))) *)

Not sure why there is an extra argument in the projector

MallabaevAzamat/FStar,msprotz/FStar,FStarLang/FStar,aa755/FStar,YaccConstructor/FStar,msprotz/FStar,FStarLang/FStar,FStarLang/FStar,YaccConstructor/FStar,YaccConstructor/FStar,msprotz/FStar,aa755/FStar,msprotz/FStar,aa755/FStar,YaccConstructor/FStar,hoheinzollern/FStar,hoheinzollern/FStar,MallabaevAzamat/FStar,A-Manning/FStar,aa755/FStar,A-Manning/FStar,MallabaevAzamat/FStar,hoheinzollern/FStar,hoheinzollern/FStar,A-Manning/FStar,MallabaevAzamat/FStar