Specify structure of Idris comments.
Set comment formatting options.