Module ASTLanguage.CTLParserHelper
val parse_al_file : string -> IStdlib.IStd.In_channel.t -> CTL.al_file optionval validate_al_files : unit -> (unit, string) IStdlib.IStd.Result.t
ASTLanguage.CTLParserHelperval parse_al_file : string -> IStdlib.IStd.In_channel.t -> CTL.al_file optionval validate_al_files : unit -> (unit, string) IStdlib.IStd.Result.t