| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/doc/plugin_tutorial/tuto1/src/ (Beweissystem des Inria Version 9.1.0©) Datei vom 15.8.2025 mit Größe 669 B |
|
Quelle simple_check.ml Sprache: SML |
|||||||||
|
let let simple_check1 sigma evalue=
(* This version should be preferred if you want to really verify that the input is well-typed, and if you want to obtain the type. *) (* Note that the output value is a pair containing a new evar_map: typing will fill out blanks in the term by add evar bindings. *) Typing. env evaluejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds let simple_check2 env sigma evalue = (* This version should be preferred if you already expect the input to have been type-checked before. Set ~lax to false if you want an anomaly to be raised in case of a type error. Otherwise a ReTypeError exception is raised. *) Retyping.get_type_of ~lax:true env sigma evalue ¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28