open Yojson.Basic open Identifiers open Types open OfJsonBasic open Scalars open Values open CfimAst (** Module declaration *) type declaration = | Type of TypeDefId.id | Fun of FunDefId.id | RecTypes of TypeDefId.id list | RecFuns of FunDefId.id list type cfim_module = { declarations : declaration list; types : type_def list; functions : fun_def list; } (** CFIM module *)