module Prelude: sig .. end
sig
end
A list of declarations that is pre-pended to any input problem, with some builtin functions
val choice : ID.t
ID.t
val unique : ID.t
val unique_unsafe : ID.t
val decls : UntypedAST.statement list
UntypedAST.statement list