Module G_prim

val test_pipe_closedcurly : unit Pcoq.Entry.t
val test_minus_nat : unit Pcoq.Entry.t