From: WANG 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?ds=inline;hp=e4c4706aa217ba2c8fca216860764ad5ef7d740a Add rate_type in interpreter/types.ml. ---