From: WANG Date: Tue, 10 Sep 2013 15:14:24 +0000 (+0200) Subject: Completing basic operations in basic.ml for primitives float, And, Or, Xor, fmod... X-Git-Url: https://scm.cri.mines-paristech.fr/git/Faustine.git/commitdiff_plain/a186a0b2f3c996e9f17dd96e9f548e81f6447fe0?hp=a186a0b2f3c996e9f17dd96e9f548e81f6447fe0 Completing basic operations in basic.ml for primitives float, And, Or, Xor, fmod, ceil, rint and power. ---