idris-0.12.1: test/docs004/docs004.idr
module Main ||| Some record Foo ||| @a a type record Foo a where ||| Constructor for Foo constructor MkFoo ||| A field bar bar : Nat ||| A field baz baz : Bool
module Main ||| Some record Foo ||| @a a type record Foo a where ||| Constructor for Foo constructor MkFoo ||| A field bar bar : Nat ||| A field baz baz : Bool