Return to b2tcP.h CVS log

Up to [CSRG BSD Unix] / 43BSD / contrib / B / src / bint

Annotation of 43BSD/contrib/B/src/bint/b2tcP.h, revision 1.1

1.1     ! root        1: /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */
        !             2: 
        !             3: /*
        !             4:   $Header: b2tcP.h,v 1.4 85/08/22 16:43:20 timo Exp $
        !             5: */
        !             6: 
        !             7: /* polytype representation */
        !             8: 
        !             9: typedef value typekind;
        !            10: typedef value polytype;
        !            11: 
        !            12: /* accessing, NOT giving new values */
        !            13: 
        !            14: typekind kind();       /* polytype u */
        !            15: intlet nsubtypes();    /* polytype u */
        !            16: polytype subtype();    /* polytype u, intlet i */
        !            17: polytype asctype();    /* polytype u */
        !            18: polytype keytype();    /* polytype u */
        !            19: value ident();                 /* polytype u */
        !            20: 
        !            21: /* MaKe Types, where subtypes are "eaten" */
        !            22: 
        !            23: polytype mkt_polytype(); /* typekind k; intlet nsub */
        !            24:                                /* visible only in bunif.c */
        !            25: /* Procedure putsubtype(); */  /* polytype sub, *pcomp; intlet isub */
        !            26:                                /* to be used after mkt_polytype or
        !            27:                                 * mkt_compound */
        !            28: 
        !            29: polytype mkt_number();
        !            30: polytype mkt_text();
        !            31: polytype mkt_tn();
        !            32: polytype mkt_error();
        !            33: polytype mkt_list();   /* polytype s */
        !            34: polytype mkt_table();  /* polytype k, a */
        !            35: polytype mkt_lt();     /* polytype s */
        !            36: polytype mkt_tlt();    /* polytype s */
        !            37: /* next to be used with putsubtype() calls */
        !            38: polytype mkt_compound();       /* intlet nsub */
        !            39: polytype mkt_var();    /* value id */
        !            40: polytype mkt_newvar();
        !            41: 
        !            42: polytype p_copy();     /* polytype u */
        !            43: /* Procedure p_release(); */           /* polytype u */
        !            44: 
        !            45: /* predicates */
        !            46: 
        !            47: bool are_same_types();         /* polytype u, v */
        !            48: bool have_same_structure();/* polytype u, v */
        !            49: 
        !            50: bool t_is_number();    /* typekind k */
        !            51: bool t_is_text();      /* typekind k */
        !            52: bool t_is_tn();                /* typekind k */
        !            53: bool t_is_error();     /* typekind k */
        !            54: bool t_is_list();      /* typekind k */
        !            55: bool t_is_table();     /* typekind k */
        !            56: bool t_is_lt();                /* typekind k */
        !            57: bool t_is_tlt();               /* typekind k */
        !            58: bool t_is_compound();  /* typekind k */
        !            59: bool t_is_var();               /* typekind k */
        !            60: bool has_number();     /* typekind k */
        !            61: bool has_text();       /* typekind k */
        !            62: bool has_lt();         /* typekind k */
        !            63: 
        !            64: /* typetable */
        !            65: 
        !            66: /* Procedure repl_type_of(); */ /* polytype u, tu */
        !            67: bool table_has_type_of();      /* polytype u */
        !            68: polytype type_of();            /* polytype u */
        !            69: polytype bottom_var();                 /* polytype u */
        !            70: 
        !            71: /* Procedure usetypetable(); */                /* value t */
        !            72: /* Procedure deltypetable(); */
        !            73: 
        !            74: /* init */
        !            75: 
        !            76: /* Procedure initpol(); */     /* */

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.