Module Fixpoint (.ml)

module Fixpoint: sig .. end
Fixpoint tests with optimizations

module FixpointList: sig .. end
Fixpoint tests on list structures
module FixpointCertif: sig .. end
module FixpointTrie: sig .. end
Fixpoint tests on trie structures
module FixpointTrieNaive: sig .. end