/*
  Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
  Licensed under the Apache 2.0 License.
*/


#ifndef __FStar_Mul_H
#define __FStar_Mul_H




#include <inttypes.h>
#include "krmllib.h"
#include "krml/internal/compat.h"
#include "krml/internal/target.h"
extern Prims_int FStar_Mul_op_Star(Prims_int x0, Prims_int x1);


#define __FStar_Mul_H_DEFINED
#endif
