Exemplos de mk_id_normalizer_extension em C++ (Cpp)

Exemplo n.º 1

Arquivo: environment.cpp Projeto: sakas--/lean

environment::environment(unsigned trust_lvl):
    environment(trust_lvl, mk_id_normalizer_extension())
{}

Exemplo n.º 2

Arquivo: environment.cpp Projeto: GallagherCommaJack/lean

environment::environment(unsigned trust_lvl, bool prop_proof_irrel, bool eta, bool impredicative):
    environment(trust_lvl, prop_proof_irrel, eta, impredicative, mk_id_normalizer_extension())
{}