C++ (Cpp) ats_proofcheck_end_mac Exemples

Exemple #1

Fichier : _2fscratch_2fopt_2fats_2d0_2e2_2e9_2fbootstrap0_2fprelude_2fDATS_2fpointer_2edats.c Projet : wdblair/ats-anairiats-bootstrap

ats_void_type
ATS_2d0_2e2_2e10_2prelude_2SATS_2pointer_2esats__ptr_is_gtez_prfck () {
    /* local vardec */
// ATSlocal_void (tmp0) ;

    ats_proofcheck_beg_mac(ATS_2d0_2e2_2e10_2prelude_2SATS_2pointer_2esats__ptr_is_gtez) ;
    ats_proofcheck_end_mac(ATS_2d0_2e2_2e10_2prelude_2SATS_2pointer_2esats__ptr_is_gtez) ;
    return /* (tmp0) */ ;
} /* end of [ATS_2d0_2e2_2e10_2prelude_2SATS_2pointer_2esats__ptr_is_gtez_prfck] */

Exemple #2

Fichier : DATS_matrix_dats.c Projet : ats-lang/ats-lang.github.io

ats_void_type
ATS_2d0_2e2_2e12_2prelude_2SATS_2matrix_2esats__matrix_v_of_array_v_prfck () {
/* local vardec */
// ATSlocal_void (tmp1) ;

ats_proofcheck_beg_mac(ATS_2d0_2e2_2e12_2prelude_2SATS_2matrix_2esats__matrix_v_of_array_v) ;
ATS_2d0_2e2_2e12_2prelude_2SATS_2array_2esats__array_v_group_prfck () ;
ats_proofcheck_end_mac(ATS_2d0_2e2_2e12_2prelude_2SATS_2matrix_2esats__matrix_v_of_array_v) ;
return /* (tmp1) */ ;
} /* end of [ATS_2d0_2e2_2e12_2prelude_2SATS_2matrix_2esats__matrix_v_of_array_v_prfck] */

Exemple #3

Fichier : DATS_linqueue_lst_dats.c Projet : ats-lang/ats-lang.github.io

ats_void_type
ATS_2d0_2e2_2e12_2libats_2DATS_2linqueue_lst_2edats__slseg_v_extend_prfck () {
/* local vardec */
// ATSlocal_void (tmp0) ;

ats_proofcheck_beg_mac(ATS_2d0_2e2_2e12_2libats_2DATS_2linqueue_lst_2edats__slseg_v_extend) ;
ATS_2d0_2e2_2e12_2libats_2DATS_2linqueue_lst_2edats__slseg_v_extend_prfck () ;
ats_proofcheck_end_mac(ATS_2d0_2e2_2e12_2libats_2DATS_2linqueue_lst_2edats__slseg_v_extend) ;
return /* (tmp0) */ ;
} /* end of [ATS_2d0_2e2_2e12_2libats_2DATS_2linqueue_lst_2edats__slseg_v_extend_prfck] */