open GrafiteAst
-module Ast = CicNotationPt
-
let tactical_terminator = ""
let tactic_terminator = tactical_terminator
let command_terminator = tactical_terminator
sprintf "alias num (instance %d) = \"%s\"" instance desc
let pp_argument_pattern = function
- | Ast.IdentArg (eta_depth, name) ->
+ | CicNotationPt.IdentArg (eta_depth, name) ->
let eta_buf = Buffer.create 5 in
for i = 1 to eta_depth do
Buffer.add_string eta_buf "\\eta."