package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val do_check : bool
val checkS_row : int -> ('a, 'b) GuaCaml.AB.ab list -> int option
val checkS_rowCX : int -> (('a, 'b) GuaCaml.AB.ab list, 'c * ('d, 'e) GuaCaml.AB.ab list) GuaCaml.AB.ab -> int option
val checkS_matCX : int -> (('a, 'b) GuaCaml.AB.ab list, 'c * ('d, 'e) GuaCaml.AB.ab list) GuaCaml.AB.ab list -> int option
val checkS_matUCX : int -> (('a, 'b) GuaCaml.AB.ab list * (('c, 'd) GuaCaml.AB.ab list, 'e * ('f, 'g) GuaCaml.AB.ab list) GuaCaml.AB.ab list) -> int option
val checkS_bmatUCX : int -> ('a * (('b, 'c) GuaCaml.AB.ab list * (('d, 'e) GuaCaml.AB.ab list, 'f * ('g, 'h) GuaCaml.AB.ab list) GuaCaml.AB.ab list)) -> int option
val check_alternation_matCX : Ldd_B_u_nucx_types.rowCX list -> bool
val check_block_next : Ldd_B_u_nucx_types.block -> (unit, 'a) GuaCaml.Tree.gnext -> bool
val check_noutput_ninput : Ldd_B_u_nucx_types.block -> bool
val check_last_matCX : 'a option -> Ldd_B_u_nucx_types.rowCX list -> bool
val check_block : Ldd_B_u_nucx_types.block -> bool
val check_edge : 'a Ldd_B_u_nucx_types.edge' -> bool