package KaSim

  1. Overview
  2. Docs
val bool_expr_of_ast : syntax_version:Ast.syntax_version -> Signature.s -> int Mods.StringMap.t -> int Mods.StringMap.t -> ?max_allowed_var:int -> (Ast.mixture, string) Alg_expr.bool Locality.annot -> (LKappa.rule_agent list, int) Alg_expr.bool Locality.annot
val modif_expr_of_ast : syntax_version:Ast.syntax_version -> Signature.s -> int Mods.StringMap.t -> int Mods.StringMap.t -> Contact_map.t -> (Ast.mixture, Ast.mixture, string, Ast.rule) Ast.modif_expr -> int list -> (LKappa.rule_agent list, Raw_mixture.t, int, LKappa.rule) Ast.modif_expr * int list
val compil_of_ast : syntax_version:Ast.syntax_version -> (string * Nbr.t) list -> Ast.parsing_compil -> Signature.s * Contact_map.t * unit NamedDecls.t * int Mods.StringMap.t * int list * (Ast.agent, LKappa.rule_agent list, Raw_mixture.t, int, LKappa.rule) Ast.compil
OCaml

Innovation. Community. Security.