- | T.Heading heading -> out_preamble och heading
- | T.Line line -> out_line_comment och line
- | T.Include script -> out_command och (require script)
- | T.Coercion specs -> out_unexported och "COERCION" (snd specs)
- | T.Notation specs -> out_unexported och "NOTATION" (snd specs) (**)
- | T.Inline (_, T.Var, src, _, _) ->
- out_unexported och "UNEXPORTED" src
-(* FG: we do not export variables because we cook the other object
+ | T.Heading heading -> out_preamble och heading
+ | T.Line line ->
+ if !O.comments then out_line_comment och line
+ | T.Include (moo, script) -> out_command och (require moo script)
+ | T.Coercion specs ->
+ if !O.comments then out_unexported och "COERCION" (snd specs)
+ | T.Notation specs ->
+ if !O.comments then out_unexported och "NOTATION" (snd specs) (**)
+ | T.Inline (_, T.Var, src, _, _, _) ->
+ if !O.comments then out_unexported och "UNEXPORTED" src
+(* FG: we do not export variables because we cook the other objects