#load "str.cma";;
let command_pattern = "\(\(.*\|.+\n\)*\)\n\n";;

let r = Str.regexp command_pattern;;
let test s  = Str.string_match r s 0;;

let a1 = test "Notation\n";;
let a2 = test "Notation\nimply\n";;
let a3 = test "Notation\nimply\nParam\na b";;
let a4 = test "Notation\nimply\nParam\na b\nSyntax\n";;
let a5 = test "Notation\nimply\nParam\na b\nSyntax\na \"=>\" ";;
let a6 = test "Notation\nimply\nParam\na b\nSyntax\na \"=>\" b\n";;
let a7 = test "Notation\nimply\nParam\na b\nSyntax\na \"=>\" b\nSemantics\n";;