package links
type t = | Any| Nil| Cons of t * t| Variant of Ir.name * t| Effect of Ir.name * t list * t| Negative of Utility.StringSet.t| Record of t Utility.StringMap.t * t option| Constant of CommonTypes.Constant.t| Variable of Var.binder| As of Var.binder * t| HasType of t * Types.datatype
val pp :
Ppx_deriving_runtime.Format.formatter ->
t ->
Ppx_deriving_runtime.unitval show : t -> Ppx_deriving_runtime.stringtype context = | CNil| CCons| CVariant of string| CNVariant of Utility.StringSet.t| CConstant of CommonTypes.Constant.t| CNConstant of ConstSet.t