links

The Links Programming Language
IN THIS PACKAGE
Module Links_lens . Phrase . Sugar
type name = string
type 'a t =
| Var of name
| UnaryAppl of Operators.Unary.t * 'a phrase
| InfixAppl of Operators.Binary.t * 'a phrase * 'a phrase
and 'a phrase = 'a * 'a t
val node : ('a * 'b) -> 'c
val pos : ('a * 'b) -> 'c