let command_of_macro macro =
G.Executable (floc, G.Macro (floc, macro))
-let set key value =
- command_of_obj (G.Set (floc, key, value))
-
let require value =
command_of_obj (G.Include (floc, value ^ ".ma"))
let commit = function
| T.Heading heading -> out_preamble och heading
| T.Line line -> out_line_comment och line
- | T.BaseUri uri -> out_command och (set "baseuri" uri)
| 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) (**)