File: vtp.mli

package info (click to toggle)
coq 8.0pl2-2
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 14,228 kB
  • ctags: 17,685
  • sloc: ml: 97,070; makefile: 1,255; sh: 738; lisp: 456; awk: 15
file content (15 lines) | stat: -rw-r--r-- 498 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
open Ascent;;

val fCOMMAND_LIST : ct_COMMAND_LIST -> unit;;
val fCOMMAND : ct_COMMAND -> unit;;
val fTACTIC_COM : ct_TACTIC_COM -> unit;;
val fFORMULA : ct_FORMULA -> unit;;
val fID : ct_ID -> unit;;
val fSTRING : ct_STRING -> unit;;
val fINT : ct_INT -> unit;;
val fRULE_LIST : ct_RULE_LIST -> unit;;
val fRULE : ct_RULE -> unit;;
val fSIGNED_INT_LIST : ct_SIGNED_INT_LIST -> unit;;
val fPREMISES_LIST : ct_PREMISES_LIST -> unit;;
val fID_LIST : ct_ID_LIST -> unit;;
val fTEXT : ct_TEXT -> unit;;