# Module proper_transformer

- Description

PropEr's main parse transform.

Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas

Version: Jan 2 2021 16:13:05

Authors: Manolis Papadakis.

## Description

PropEr's main parse transform. It is automatically applied to modules when including the main PropEr header, unless `PROPER_NO_TRANS` is defined. Applying this transform has the following effects:

- All 0-arity functions whose name begins with `prop_` are automatically exported.
- Type declarations in `?FORALL`s that correspond to native types are properly substituted (with some limitations, see the `proper_typeserver` module for details).

Generated by EDoc