idris-0.10: test/docs001/expected

Interface C
    interface

Parameters:
    t   -- a type

Methods:
    m : C t => t
        member of interface
        
        The function is Total
Implementations:
    C A
        implementation of interface
    C (D a b)
        another implementation of interface
        a   -- parameter type