afe3ab588a6b2992efe5a9b22ed038545ba3cdbfLennart Poetteringlibrary S

c343be283b7152554bac0c02493a4e1759c163f7Kay Sievers

b3ae710c251d0ce5cf2cef63208e325497b5e323Zbigniew Jędrzejewski-Szmekspec S =

b3ae710c251d0ce5cf2cef63208e325497b5e323Zbigniew Jędrzejewski-Szmek

f957632b960a0a42999b38ded7089fa602b41745Kay Sieversfree type Bool ::= True | False

f957632b960a0a42999b38ded7089fa602b41745Kay Sievers

f957632b960a0a42999b38ded7089fa602b41745Kay Sieversfree type List ::= Nil | Cons(head :? Bool; tail :? List)

f957632b960a0a42999b38ded7089fa602b41745Kay Sievers

a40593a0d0d740efa387e35411e1e456a6c5aba7Lennart Poetteringwith Bool |-> bool, True |-> true', False |-> false',

20ffc4c4a9226b0e45cc02ad9c0108981626c0bbKay Sievers List |-> list, Nil |-> nil, Cons |-> cons, head |-> Head,

afe3ab588a6b2992efe5a9b22ed038545ba3cdbfLennart Poettering tail |-> Tail

d19e85f0d474ed1882561b458d528cbae49f640eZbigniew Jędrzejewski-Szmek

d19e85f0d474ed1882561b458d528cbae49f640eZbigniew Jędrzejewski-Szmek

d19e85f0d474ed1882561b458d528cbae49f640eZbigniew Jędrzejewski-Szmekspec T =

d19e85f0d474ed1882561b458d528cbae49f640eZbigniew Jędrzejewski-Szmek

d19e85f0d474ed1882561b458d528cbae49f640eZbigniew Jędrzejewski-Szmekfree type bool ::= false' | true';

3f85ef0f05ffc51e19f86fb83a1c51e8e3cd6817Harald Hoyer list ::= cons(Head :? bool; Tail :? list) | nil

afe3ab588a6b2992efe5a9b22ed038545ba3cdbfLennart Poettering

afe3ab588a6b2992efe5a9b22ed038545ba3cdbfLennart Poetteringview v : S to T

afea8d3853d0f76b3845729ff00e75d281f43a1bZbigniew Jędrzejewski-Szmek