boltzgen
Generate tests using boltzman sampling
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library boltzgen
val string_of_qcm : qcm -> string
val qcm_of_string : string -> qcm
val qcm_of_int : int -> qcm
val qlist_of_string : string -> qlist
type question_value = {
text : string; |
proposed_answer : string array; |
rtype : Type.compo_type; |
answer : string; |
test_effort : int; |
test_max : int; |
}
val mkfun :
?test_effort:int ->
?test_max:int ->
string ->
string ->
string ->
string list ->
question
val mkdeftype : string -> string -> question
val shuffle : string -> question_bank -> question_bank
val save_qbank : string -> question_bank -> unit
val load_qbank : string -> question_bank