links

The Links Programming Language
IN THIS PACKAGE
method query : t -> 'self_type * t
method tag : tag -> 'self_type * tag
method binder : Links_core.Var.binder -> 'self_type * Links_core.Var.binder
method option : 'a. ( 'self_type -> 'a -> 'self_type * 'a ) -> 'a option -> 'self_type * 'a option
method list : 'a. ( 'self_type -> 'a -> 'self_type * 'a ) -> 'a list -> 'self_type * 'a list