From: WANG <wang@wang-OptiPlex-780.(none)>
Date: Thu, 5 Sep 2013 13:56:33 +0000 (+0200)
Subject: Add rate_type in interpreter/types.ml.
X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/commitdiff_plain/e4c4706aa217ba2c8fca216860764ad5ef7d740a?hp=e4c4706aa217ba2c8fca216860764ad5ef7d740a

Add rate_type in interpreter/types.ml.
---