jon.recoil.org

Module Ctype.Rigidify

type t
type matches_result =
  1. | Unification_failure of {
    1. name : string option;
    2. ty : Types.type_expr;
    }
  2. | Jkind_mismatch of {
    1. original_jkind : Types.jkind_lr;
    2. inferred_jkind : Types.jkind_lr;
    3. ty : Types.type_expr;
    }
  3. | All_good
val rigidify_list : Types.type_expr list -> Ctype.Rigidify.t
val all_distinct_vars_with_original_jkinds : Env.t -> Ctype.Rigidify.t -> Ctype.Rigidify.matches_result