0 | module Node
1 |
2 | export
3 | data Node : (0 t : Type) -> Type where [external]
4 |
5 |