package links
val pp_tag :
Ppx_deriving_runtime.Format.formatter ->
tag ->
Ppx_deriving_runtime.unitval show_tag : tag -> Ppx_deriving_runtime.stringtype t = | For of tag option * (Var.var * t) list * t list * t| If of t * t * t| Table of Value.table| Database of Value.database * string| Singleton of t| Concat of t list| Record of t Utility.StringMap.t| Project of t * string| Erase of t * Utility.StringSet.t| Variant of string * t| XML of Value.xmlitem| Apply of t * t list| Closure of Var.var list * Ir.computation * env| Case of t * (Var.binder * t) Utility.StringMap.t * (Var.binder * t) option| Primitive of string| Var of Var.var * Types.datatype Utility.StringMap.t| Constant of CommonTypes.Constant.t
val pp :
Ppx_deriving_runtime.Format.formatter ->
t ->
Ppx_deriving_runtime.unitval show : t -> Ppx_deriving_runtime.stringval pp_env :
Ppx_deriving_runtime.Format.formatter ->
env ->
Ppx_deriving_runtime.unitval show_env : env -> Ppx_deriving_runtime.string