links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Types
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 )