# #include "int_code.h"

This page has information from files int_code.h and int_code.c.

## Contents

- Public Routines
- Public Definitions
- Introduction

## Public Routines in File int_code.c

#### Index

check_ibuf_clause | get_clause_from_ibuf | put_clause_to_ibuf |

#### Details

    void check_ibuf_clause(Topform c);

    Topform get_clause_from_ibuf(Ibuffer ibuf);

    void put_clause_to_ibuf(Ibuffer ibuf, Topform c);

## Public Definitions in File int_code.h

## Introduction