Module `Subst.Ikind_substitution`

type type_lookup_result =

| Lookup_identity
| Lookup_path of Path.t
| Lookup_type_fun of Types.type_expr list * Types.type_expr

type jkind_lookup_result =

| Lookup_jkind_identity
| Lookup_jkind_path of Path.t
| 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