# 2.11BSD#431 - /usr/src/new/PORT/B/src/bint/b2tcP.h

       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(); */  /* */

#### Usage of this include

b2tcP.h used 4 times

- in /usr/src/new/PORT/B/src/bint/b2stc.c line 13
- in /usr/src/new/PORT/B/src/bint/b2tcE.c line 11
- in /usr/src/new/PORT/B/src/bint/b2tcP.c line 11
- in /usr/src/new/PORT/B/src/bint/b2tcU.c line 11

Last modified: 1985-08-27 Generated: 2016-12-26 | Generated by src2html V0.67 page hit count: 467 |