2021-10-08 08:31:14 +00:00
|
|
|
p_example_holder = [<ExampleHolder examples=[<Example test:1:1-1:8>]>]
|
|
|
|
|
p_identity([]) = []
|
|
|
|
|
p_identity([<ExampleHolder examples=[]>]) = [<ExampleHolder examples=[]>]
|
|
|
|
|
p_identity([<ExampleHolder examples=[<Example test:1:1-1:8>]>]) = [<ExampleHolder examples=[<Example test:1:1-1:8>]>]
|
|
|
|
|
p_identity([<ExampleHolder examples=[<Example test:1:1-1:8>, <Example test:1:1-1:8>]>]) = [<ExampleHolder examples=[<Example test:1:1-1:8>, <Example test:1:1-1:8>]>]
|
|
|
|
|
p_identity([<ExampleHolder examples=[<Example test:1:1-1:8>, <Example test:1:1-1:8>]>, <ExampleHolder examples=[<Example test:1:1-1:8>]>, <ExampleHolder examples=[]>]) = [<ExampleHolder examples=[<Example test:1:1-1:8>, <Example test:1:1-1:8>]>, <ExampleHolder examples=[<Example test:1:1-1:8>]>, <ExampleHolder examples=[]>]
|
2020-04-27 15:42:41 +02:00
|
|
|
Done
|