Module Subst.Ikind_substitution

type type_lookup_result =
  1. | Lookup_identity
  2. | Lookup_path of Path.t
  3. | Lookup_type_fun of Types.type_expr list * Types.type_expr
type jkind_lookup_result =
  1. | Lookup_jkind_identity
  2. | Lookup_jkind_path of Path.t
  3. | Lookup_jkind_const of Types.jkind_const_desc_lr
val substitute_decl_ikind_with_lookup : (lookup_type:(Path.t -> type_lookup_result) -> lookup_jkind:(Path.t -> jkind_lookup_result) -> Types.type_ikind -> Types.type_ikind) ref