Skip to content

Instantly share code, notes, and snippets.

@einblicker

einblicker/DepList.fs

Created April 10, 2011 01:55
Show Gist options
  • Save einblicker/911974 to your computer and use it in GitHub Desktop.
Save einblicker/911974 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
DepList.fs
module DepList =
type Z = internal new() = {}
[<Sealed>]
type S<'nat when 'nat :> Z> = inherit Z private new() = {}
[<Sealed>]
type DepList<'a, 'length when 'length :> Z> =
val internal _list: 'a list
internal new(list: 'a list) = { _list = list }
override this.ToString() = "DepList " + this._list.ToString()
let toList (dl: DepList<_, _>) = dl._list
let head (dl: DepList<_, S<_>>) =
List.head (toList dl)
let tail (dl: DepList<'a, S<'length>>) =
new DepList<'a, 'length>(List.tail (toList dl))
let nil<'a> = new DepList<'a, Z>([])
let cons (car: 'a) (cdr: DepList<'a, 'length>) =
new DepList<'a, S<'length>>(car :: toList cdr)
let zip (dl1: DepList<'a, 'length>) (dl2: DepList<'b, 'length>) =
new DepList<'a * 'b, 'length>(List.zip (toList dl1) (toList dl2))
let unzip (dl: DepList<'a * 'b, 'length>) =
let l1, l2 = List.unzip dl._list
new DepList<'a, 'length>(l1), new DepList<'b, 'length>(l2)
let map (f: 'a -> 'b) (dl: DepList<'a, 'length>) =
new DepList<'b, 'length>(toList dl |> List.map f)
let fold (f: 'a -> 'b -> 'a) (x: 'a) (dl: DepList<'b, 'length>) =
toList dl |> List.fold f x
type A =
static member append(x: DepList<'a, Z>, y: DepList<'a, Z>): DepList<'a, Z> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, Z>, y: DepList<'a, S<Z>>): DepList<'a, S<Z>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, Z>, y: DepList<'a, S<S<Z>>>): DepList<'a, S<S<Z>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, Z>, y: DepList<'a, S<S<S<Z>>>>): DepList<'a, S<S<S<Z>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, Z>, y: DepList<'a, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<Z>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, Z>, y: DepList<'a, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<Z>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, Z>, y: DepList<'a, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<Z>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, Z>, y: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, Z>, y: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, Z>, y: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, Z>, y: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<Z>>, y: DepList<'a, Z>): DepList<'a, S<Z>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<Z>>, y: DepList<'a, S<Z>>): DepList<'a, S<S<Z>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<Z>>, y: DepList<'a, S<S<Z>>>): DepList<'a, S<S<S<Z>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<Z>>, y: DepList<'a, S<S<S<Z>>>>): DepList<'a, S<S<S<S<Z>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<Z>>, y: DepList<'a, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<Z>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<Z>>, y: DepList<'a, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<Z>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<Z>>, y: DepList<'a, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<Z>>, y: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<Z>>, y: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<Z>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<Z>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<Z>>>, y: DepList<'a, Z>): DepList<'a, S<S<Z>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<Z>>>, y: DepList<'a, S<Z>>): DepList<'a, S<S<S<Z>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<Z>>>, y: DepList<'a, S<S<Z>>>): DepList<'a, S<S<S<S<Z>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<Z>>>, y: DepList<'a, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<Z>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<Z>>>, y: DepList<'a, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<Z>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<Z>>>, y: DepList<'a, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<Z>>>, y: DepList<'a, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<Z>>>, y: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<Z>>>, y: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<Z>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<Z>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<Z>>>>, y: DepList<'a, Z>): DepList<'a, S<S<S<Z>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<Z>>>>, y: DepList<'a, S<Z>>): DepList<'a, S<S<S<S<Z>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<Z>>>>, y: DepList<'a, S<S<Z>>>): DepList<'a, S<S<S<S<S<Z>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<Z>>>>, y: DepList<'a, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<Z>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<Z>>>>, y: DepList<'a, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<Z>>>>, y: DepList<'a, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<Z>>>>, y: DepList<'a, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<Z>>>>, y: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<Z>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<Z>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<Z>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<Z>>>>>, y: DepList<'a, Z>): DepList<'a, S<S<S<S<Z>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<Z>>>>>, y: DepList<'a, S<Z>>): DepList<'a, S<S<S<S<S<Z>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<Z>>>>>, y: DepList<'a, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<Z>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<Z>>>>>, y: DepList<'a, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<Z>>>>>, y: DepList<'a, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<Z>>>>>, y: DepList<'a, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<Z>>>>>, y: DepList<'a, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<Z>>>>>, y: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<Z>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<Z>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<Z>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<Z>>>>>>, y: DepList<'a, Z>): DepList<'a, S<S<S<S<S<Z>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<Z>>>>>>, y: DepList<'a, S<Z>>): DepList<'a, S<S<S<S<S<S<Z>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<Z>>>>>>, y: DepList<'a, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<Z>>>>>>, y: DepList<'a, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<Z>>>>>>, y: DepList<'a, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<Z>>>>>>, y: DepList<'a, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<Z>>>>>>, y: DepList<'a, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<Z>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<Z>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<Z>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<Z>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<Z>>>>>>>, y: DepList<'a, Z>): DepList<'a, S<S<S<S<S<S<Z>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<Z>>>>>>>, y: DepList<'a, S<Z>>): DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<Z>>>>>>>, y: DepList<'a, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<Z>>>>>>>, y: DepList<'a, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<Z>>>>>>>, y: DepList<'a, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<Z>>>>>>>, y: DepList<'a, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<Z>>>>>>>, y: DepList<'a, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<Z>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<Z>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<Z>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<Z>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, y: DepList<'a, Z>): DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, y: DepList<'a, S<Z>>): DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, y: DepList<'a, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, y: DepList<'a, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, y: DepList<'a, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, y: DepList<'a, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, y: DepList<'a, Z>): DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, y: DepList<'a, S<Z>>): DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, y: DepList<'a, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, y: DepList<'a, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, y: DepList<'a, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, y: DepList<'a, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, y: DepList<'a, Z>): DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, y: DepList<'a, S<Z>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, y: DepList<'a, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, y: DepList<'a, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, y: DepList<'a, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, y: DepList<'a, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, y: DepList<'a, Z>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, y: DepList<'a, S<Z>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, y: DepList<'a, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, y: DepList<'a, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, y: DepList<'a, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, y: DepList<'a, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
static member append(x: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, y: DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(List.append (toList x) (toList y))
type C =
static member concat(x: DepList<DepList<'a, S<Z>>, S<Z>>): DepList<'a, S<Z>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<Z>>, S<S<Z>>>): DepList<'a, S<S<Z>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<Z>>, S<S<S<Z>>>>): DepList<'a, S<S<S<Z>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<Z>>, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<Z>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<Z>>, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<Z>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<Z>>, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<Z>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<Z>>, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<Z>>, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<Z>>, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<Z>>, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<Z>>>, S<Z>>): DepList<'a, S<S<Z>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<Z>>>, S<S<Z>>>): DepList<'a, S<S<S<S<Z>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<Z>>>, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<Z>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<Z>>>, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<Z>>>, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<Z>>>, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<Z>>>, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<Z>>>, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<Z>>>, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<Z>>>, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<Z>>>>, S<Z>>): DepList<'a, S<S<S<Z>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<Z>>>>, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<Z>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<Z>>>>, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<Z>>>>, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<Z>>>>, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<Z>>>>, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<Z>>>>, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<Z>>>>, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<Z>>>>, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<Z>>>>, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<Z>>>>>, S<Z>>): DepList<'a, S<S<S<S<Z>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<Z>>>>>, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<Z>>>>>, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<Z>>>>>, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<Z>>>>>, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<Z>>>>>, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<Z>>>>>, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<Z>>>>>, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<Z>>>>>, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<Z>>>>>, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<Z>>>>>>, S<Z>>): DepList<'a, S<S<S<S<S<Z>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<Z>>>>>>, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<Z>>>>>>, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<Z>>>>>>, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<Z>>>>>>, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<Z>>>>>>, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<Z>>>>>>, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<Z>>>>>>, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<Z>>>>>>, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<Z>>>>>>, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<Z>>>>>>>, S<Z>>): DepList<'a, S<S<S<S<S<S<Z>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<Z>>>>>>>, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<Z>>>>>>>, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<Z>>>>>>>, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<Z>>>>>>>, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<Z>>>>>>>, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<Z>>>>>>>, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<Z>>>>>>>, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<Z>>>>>>>, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<Z>>>>>>>, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, S<Z>>): DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<Z>>>>>>>>, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, S<Z>>): DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<Z>>>>>>>>>, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, S<Z>>): DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, S<Z>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, S<S<Z>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, S<S<S<Z>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, S<S<S<S<Z>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, S<S<S<S<S<Z>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, S<S<S<S<S<S<Z>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, S<S<S<S<S<S<S<Z>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, S<S<S<S<S<S<S<S<Z>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
static member concat(x: DepList<DepList<'a, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>, S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>): DepList<'a, S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<Z>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> = new DepList<_, _>(map toList x |> toList |> List.concat)
open DepList
let dl = cons "foo" (cons "bar" (cons "baz" nil))
let dl' = cons "hoge" dl
//tailが多すぎるのでコンパイルエラー
A.append(dl, dl') |> tail |> tail |> tail |> tail |> tail |> tail |> tail |> tail |> printfn "%A"
let dll = cons dl (cons dl (cons dl nil))
//これもtailが多すぎるのでエラーにしてくれる
C.concat dll |> tail |> tail |> tail |> tail |> tail |> tail |> tail |> tail |> tail |> tail |> printfn "%A"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment