package TCSLib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val __lexer_line : int ref
val __lexer_character : int ref
val __def_parse_exception : string -> unit
val __parse_exception : (string -> unit) ref
val __def_pg_has_header : int -> unit
val __pg_has_header : (int -> unit) ref
val __def_pg_has_start : int -> unit
val __pg_has_start : (int -> unit) ref
val __def_pg_add_node : int -> int -> int -> int list -> string -> unit
val __pg_add_node : (int -> int -> int -> int list -> string -> unit) ref
val __def_pgsol_has_header : int -> unit
val __pgsol_has_header : (int -> unit) ref
val __def_pgsol_add_node : int -> int -> int option -> unit
val __pgsol_add_node : (int -> int -> int option -> unit) ref