type k_ext = | Kern of k_ext * k_ext| Block of k_ext| Params of k_ext| Plus of k_ext * k_ext| Plusf of k_ext * k_ext| Min of k_ext * k_ext| Minf of k_ext * k_ext| Mul of k_ext * k_ext| Mulf of k_ext * k_ext| Div of k_ext * k_ext| Divf of k_ext * k_ext| Mod of k_ext * k_ext| Id of string| IdName of string| GlobalFun of k_ext * string * string| IntVar of int * string| FloatVar of int * string| UnitVar of int * string| CastDoubleVar of int * string| DoubleVar of int * string| BoolVar of int * string| Arr of string * k_ext * elttype * memspace| VecVar of k_ext * int * string| Concat of k_ext * k_ext| Constr of string * string * k_ext list| Record of string * k_ext list| RecGet of k_ext * string| RecSet of k_ext * k_ext| Empty| Seq of k_ext * k_ext| Return of k_ext| Set of k_ext * k_ext| Decl of k_ext| SetV of k_ext * k_ext| SetLocalVar of k_ext * k_ext * k_ext| Intrinsics of intrinsics| IntId of string * int| Int of int| Float of float| Double of float| Custom of string * int * string| CustomVar of string * string * string| IntVecAcc of k_ext * k_ext| Local of k_ext * k_ext| Acc of k_ext * k_ext| Ife of k_ext * k_ext * k_ext| If of k_ext * k_ext| Match of string * k_ext * case array| Or of k_ext * k_ext| And of k_ext * k_ext| Not of k_ext| EqCustom of string * k_ext * k_ext| EqBool of k_ext * k_ext| LtBool of k_ext * k_ext| GtBool of k_ext * k_ext| LtEBool of k_ext * k_ext| GtEBool of k_ext * k_ext| DoLoop of k_ext * k_ext * k_ext * k_ext| While of k_ext * k_ext| App of k_ext * k_ext array| GInt of unit -> int32| GFloat of unit -> float| GFloat64 of unit -> float| Native of Spoc.Devices.device -> string| Pragma of string list * k_ext| Map of k_ext * k_ext * k_ext| Unitand case = int * (string * string * int * string) option * k_extval string_of_ast : k_ext -> stringval print_ast : k_ext -> unit