Module Tuto1_plugin.Simple_print

val simple_body_access : Names.GlobRef.t -> EConstr.constr