links

The Links Programming Language
IN THIS PACKAGE
Module type Links_core . Types . TYPE_VISITOR
method set_refresh_tyvars : bool -> 'self_type
method set_rec_vars : meta_type_var Links_core.Utility.IntMap.t -> 'self_type
method list : ( 'self_type -> 'a -> 'self_type * 'b ) -> 'a list -> 'self_type * 'b list
method type_args : type_arg list -> 'self_type * type_arg list
method typ : typ -> 'self_type * typ
method row : row -> 'self_type * row
method row_var : row_var -> 'self_type * row_var
method meta_type_var : meta_type_var -> 'self_type * meta_type_var
method meta_row_var : meta_row_var -> 'self_type * meta_row_var
method meta_presence_var : meta_presence_var -> 'self_type * meta_presence_var
method field_spec : field_spec -> 'self_type * field_spec
method field_spec_map : field_spec_map -> 'self_type * field_spec_map
method type_arg : type_arg -> 'self_type * type_arg