module Abstractor_graph : sig ... end
module Bin_ser : sig ... end
module Builtin : sig ... end
module Check_cache : sig ... end
module Ciml : sig ... end
module Code_fragment : sig ... end
module Completion : sig ... end
module Count_funs : sig ... end
module Event : sig ... end
module Hints : sig ... end
module Input_logger : sig ... end
module Modular_decomposition : sig ... end
module Modular_region : sig ... end
module Plugin : sig ... end
module Prelude_cache : sig ... end
module Short_uid : sig ... end
module Surface_snapshot : sig ... end
module Syn_term : sig ... end
module Syn_term_intf : sig ... end
module Term : sig ... end
module Top_result : sig ... end
module Type : sig ... end
module Uid : sig ... end
module Valgen : sig ... end
module Var : sig ... end