links

The Links Programming Language
IN THIS PACKAGE
type nested_type = [
| `Primitive of CommonTypes.Primitive.t
| `Record of nested_type Utility.StringMap.t
| `List of nested_type
]
val show_nested_type : nested_type -> Ppx_deriving_runtime.string
type 'a shredded = [
| `Primitive of 'a
| `Record of 'a shredded Utility.StringMap.t
]
type shredded_type = CommonTypes.Primitive.t shredded
val show_shredded_type : shredded_type -> Ppx_deriving_runtime.string
type shredded_value = Value.t shredded
val show_shredded_value : shredded_value -> Ppx_deriving_runtime.string
type flat_type = [
| `Primitive of CommonTypes.Primitive.t
| `Record of CommonTypes.Primitive.t Utility.StringMap.t
]
val show_flat_type : flat_type -> Ppx_deriving_runtime.string
type 'a package = [
| `Primitive of CommonTypes.Primitive.t
| `Record of 'a package Utility.StringMap.t
| `List of 'a package * 'a
]
type step = [
| `List
| `Record of string
]
type path = step list
val nested_type_of_type : Types.datatype -> nested_type
val erase : 'a package -> nested_type
val pmap : ( 'a -> 'b ) -> 'a0 package -> 'b0 package
val package : ( path -> 'a ) -> nested_type -> 'a package
val pzip : 'a package -> 'b package -> ('a0 * 'b0) package
val top : int
val split_conditions : ( QL.t -> 'a ) -> QL.t -> ( QL.t -> 'a ) * QL.t
val static_in : QL.t
val static_out : QL.t
val dyn_index : int -> QL.t
val in_index : int -> QL.t
val out_index : int -> QL.t
val shinner : QL.tag -> QL.t -> QL.t
val shouter : QL.tag -> [> `List | `Record of Utility.StringMap.key ] list -> QL.t -> QL.t list
val shred_outer : QL.t -> [> `List | `Record of Utility.StringMap.key ] list -> QL.t
val shred_query : QL.t -> nested_type -> QL.t package
val shred_inner_type : nested_type -> shredded_type
val shred_outer_type : nested_type -> path -> shredded_type
val shred_query_type : nested_type -> shredded_type package