Idris2Doc : Idris.Doc.Brackets

Index

Idris.Doc.Brackets

(source)

Definitions

getDocsForBracket : BracketType -> Doc IdrisDocAnn: Visibility: export

Produced by Idris 2 version 0.8.0-214eb4547