Module Syntactic_tests

module Syntactic_tests: sig .. end

val check_positivity_condition_def : Typed_ast.def -> unit

val check_decidable_equality_def : Typed_ast.env -> Typed_ast.def -> unit

val check_id_restrict_e : Typed_ast.env -> Typed_ast.exp -> unit

val check_id_restrict_p : Typed_ast.env -> Typed_ast.pat -> unit