sig
val
certificate :
Ast
.t_system
->
Node
.t list
->
unit
end