links

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