package links

  1. Overview
  2. Docs
type name = string
type 'a t =
  1. | Var of name
  2. | UnaryAppl of Links_lens.Operators.Unary.t * 'a phrase
  3. | InfixAppl of Links_lens.Operators.Binary.t * 'a phrase * 'a phrase
and 'a phrase = 'a * 'a t
val node : ('a * 'b) -> 'c
val pos : ('a * 'b) -> 'c