/* tslint:disable */
/* eslint-disable */
/**
*/
export function init(): void;
/**
* @param {string} ast_json
* @param {string} data_json
* @returns {string}
*/
export function validate_set(ast_json: string, data_json: string): string;
/**
* @param {string} contract_ast_json
* @returns {string}
*/
export function generate_js_contract(contract_ast_json: string): string;
