package pa_ppx

  1. Overview
  2. Docs
val print : MLast.ctyp -> string
val arrows_list : MLast.loc -> MLast.ctyp list -> MLast.ctyp -> MLast.ctyp
val wrap_attrs : MLast.ctyp -> MLast.attribute list -> MLast.ctyp
val unwrap_attrs : MLast.ctyp -> MLast.ctyp * MLast.attribute list
val applist : MLast.ctyp -> MLast.ctyp list -> MLast.ctyp
val unapplist : MLast.ctyp -> MLast.ctyp * MLast.ctyp list
val tuple : MLast.loc -> MLast.ctyp list -> MLast.ctyp
type rho = MLast.ctyp Env.t
val subst : rho -> MLast.ctyp -> MLast.ctyp