idris-1.3.2: test/docs006/expected

Interface Foo
    interface

Parameters:
    t   -- some parameter

Constraints:
    Eq t

Methods:
    m : Foo t => t
        member of interface
        
        The function is: Total & public export
Implementations:
    <no implementations>