links

The Links Programming Language
IN THIS PACKAGE
Module Links_lens . Utility . O
val (<<) : ( 'a -> 'b ) -> ( 'c -> 'd ) -> 'e -> 'f
val (>>) : ( 'a -> 'b ) -> ( 'c -> 'd ) -> 'e -> 'f