links

The Links Programming Language
IN THIS PACKAGE
Module Links_lens . Phrase . Record
type record = Value.t
val matching_cols_simp : Alias.t list -> Value.t list -> Option.t
val matching_cols : Alias.Set.t -> Value.t -> Option.t
val eval : t -> record -> record

Evaluate the phrase with a given record