Module Typing (.ml)

module Typing: sig .. end
Typing of parameterized systems


Typing of parameterized systems
type error 
exception Error of error * Util.loc
val report : Format.formatter -> error -> unit
val system : Ast.system -> Ast.t_system
Types an untyped system and performs subtyping analysis is the flag Options.subtyping is true.