idris-1.3.3: test/docs001/expected.out

Interface C
    interface

Parameters:
    t   -- a type

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