Module Typing (.ml)

module Typing: sig .. end

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