Module Soteria_c_lib.Ail_tys

type sym = Cerb_frontend.Symbol.sym
type nonrec constant = Cerb_frontend.AilSyntax.constant
type ctype = Cerb_frontend.Ctype.ctype
type expr = Cerb_frontend.GenTypes.genTypeCategory Cerb_frontend.AilSyntax.expression
type stmt = Cerb_frontend.GenTypes.genTypeCategory Cerb_frontend.AilSyntax.statement
type fundef = Cerb_frontend.GenTypes.genTypeCategory Cerb_frontend.AilSyntax.sigma_function_definition
type nonrec sigma = Cerb_frontend.GenTypes.genTypeCategory Cerb_frontend.AilSyntax.sigma
type program = Cerb_frontend.GenTypes.genTypeCategory Cerb_frontend.AilSyntax.ail_program
type extern_symmap = (Cerb_frontend.Symbol.sym, Cerb_frontend.Symbol.sym) Pmap.map
type linked_program = {
  1. sigma : sigma;
  2. entry_point : Cerb_frontend.Symbol.sym option;
  3. symmap : extern_symmap;
}
val empty_linked_program : linked_program