links

The Links Programming Language
IN THIS PACKAGE
Module Links_lens . Eval . Classic
module Sorted = Sorted_records
val lens_put_set_step : db:Database.t -> Value.t -> Sorted.t -> ( Value.t -> Sorted.t -> unit ) -> unit
val apply_table_data : table:Database.Table.t -> db:Database.t -> Sorted.t -> unit
val lens_put_step : Value.t -> Links_lens__Phrase_value.t list -> ( Value.t -> Sorted.t -> unit ) -> db:Database.t -> unit
val lens_put : db:Database.t -> Value.t -> Links_lens__Phrase_value.t list -> unit