links

The Links Programming Language
IN THIS PACKAGE
val lookup : (int * int) -> 'a list Utility.IntPairMap.t -> 'a list
val insert : (int * int) -> 'a -> 'b list Utility.IntPairMap.t -> 'b list Utility.IntPairMap.t
val empty : 'a Utility.IntPairMap.t
val build_unflattened_record_from_array : (Types.datatype * int) FlattenRecords.template -> string array -> Value.t
val build_stitch_map : ((Value.dbvalue * (string * (Types.datatype * int)) list) * Shred.flat_type) -> Value.t list Utility.IntPairMap.t
val stitch_mapped_query : Value.t list Utility.IntPairMap.t Shred.package -> Value.t