# cd "not_type";;
- : string = "/fol_not/not_type"
# ls ();;
View item /fol_not/not_type
----------------------------------------
# 
0 
....main....
[ext] H  A type
====
[ext] H  (A) type

BY idT
# 1. [ext] H  (A) type

++++++++++
- : unit = ()
# 