package rfsm

  1. Overview
  2. Docs

Module Static.Typing

module HostSyntax = Syntax
type env
type typed_program = {
  1. tp_models : HostSyntax.model list;
  2. tp_insts : (Ident.t * HostSyntax.model) list;
}
val mk_env : unit -> env
val type_program : env -> HostSyntax.program -> typed_program
val pp_env : Format.formatter -> env -> unit
val pp_typed_program : Format.formatter -> typed_program -> unit
exception Duplicate_symbol of Location.t * Ident.t
exception Invalid_state of Location.t * Ident.t
exception Duplicate_state of Location.t * Ident.t
exception No_event_input of Location.t
exception Illegal_inst of Location.t
exception Illegal_state_output of Location.t * Ident.t * Ident.t
exception Type_mismatch of Location.t * string * HostSyntax.typ