package links

  1. Overview
  2. Docs
method var_satisfies : (int * Links_core.CommonTypes.Kind.t * Links_core.CommonTypes.Freedom.t) -> bool
method type_satisfies : visit_context -> typ -> bool
method point_satisfies : (visit_context -> typ -> bool) -> visit_context -> typ point -> bool
method field_satisfies : visit_context -> field_spec -> bool
method row_satisfies : visit_context -> row -> bool
method type_satisfies_arg : visit_context -> type_arg -> bool
method predicates : (typ -> bool) * (row -> bool)