links

The Links Programming Language
IN THIS PACKAGE
val lens_db_of_db : string -> Value.database -> Lens.Database.t
val lens_table_of_table : Value.table -> Lens.Database.Table.t