Ppx_z_literals (frama-c.Ppx_z

val conv_to_z : Ppxlib.location -> Ppxlib_ast.Ast.expression

We use Fc_internal_z instead of Z to allow using this ppx inside z.ml.

val rewriter : 
  (Ppxlib__.Location.t -> Ppxlib_ast.Ast.expression) ->
  Ppxlib__.Location.t ->
  string ->
  Ppxlib_ast.Ast.expression

val rule : 
  (char * (Ppxlib__.Location.t -> Ppxlib_ast.Ast.expression)) ->
  Ppxlib.Context_free.Rule.t

val rules : Ppxlib.Context_free.Rule.t list