package swdogen

  1. Overview
  2. Docs
type env
val fetchModelById : env -> string -> Ast.modelType
val fetchModelDefById : env -> string -> Ast.modelDef
val getSoms : env -> Som.t list
val analysis : Ast.sourceFile list -> env
exception Semantic_error
OCaml

Innovation. Community. Security.