links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Shunting
type 'a partial_op = {
partial_node : Sugartypes.tyarg list * 'a;
assoc : Operators.Associativity.t;
precedence : int;
position : SourceCode.Position.t;
}
type exp =
| Op of op
| Operand of Sugartypes.phrase
val precedence : 'a partial_op -> int
val op_precedence : op -> int
val op_assoc : op -> Operators.Associativity.t
val partial_op : (Sugartypes.tyarg list * 'a) -> Operators.Associativity.t -> int -> SourceCode.Position.t -> 'a partial_op
module Optable : sig ... end
val shift : op Stack.t -> exp Queue.t -> unit
val shift_all : op Stack.t -> exp Queue.t -> unit
val push_operator : op Stack.t -> exp Queue.t -> op -> unit
val reduce : exp Queue.t -> Sugartypes.phrase
class reorder : Optable.t -> object ... end
class shunt : Optable.t -> object ... end
module Untyped : sig ... end