links

The Links Programming Language
IN THIS PACKAGE
type let_clause = LetInsertion.let_clause
type query = LetInsertion.query
val flatten_inner : QL.t -> QL.t
val flatten_inner_query : QL.t -> QL.t
val flatten_comprehension : QL.t -> QL.t
val flatten_let_clause : LetInsertion.let_clause -> let_clause
val flatten_query : LetInsertion.query -> query
val flatten_type : Shred.shredded_type -> Shred.flat_type
val flatten_query_type : Shred.shredded_type -> Shred.flat_type
val unflatten_field : string list -> 'a -> 'a0 Shred.shredded Utility.StringMap.t -> 'a1 Shred.shredded Utility.StringMap.t
val unflatten_type : Shred.flat_type -> Shred.shredded_type
type 'a template = [
| `Primitive of 'a
| `Record of (string * 'a template) list
]
val template_map : ( 'a -> 'b ) -> [< `Primitive of 'd | `Record of ('e * 'f) list ] as 'c -> [> `Primitive of 'b | `Record of ('h * 'i) list ] as 'g
val make_template : Shred.shredded_type -> string template
val build_unflattened_record : string template -> Value.t -> Value.t
val unflatten_list : (Value.t * Shred.flat_type) -> Value.t