idris-0.9.18: test/docs002/expected

T1 : Type
    Some documentation
    
T2 : Type
    Some other documentation
    
T3 : Int
    Some provided postulate