comparison src/cjr_print.sig @ 764:7f653298dd66

C FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 17:15:14 -0400
parents a8effb6159c2
children
comparison
equal deleted inserted replaced
763:af41ec2f302a 764:7f653298dd66
34 val p_file : CjrEnv.env -> Cjr.file Print.printer 34 val p_file : CjrEnv.env -> Cjr.file Print.printer
35 35
36 val p_sql : CjrEnv.env -> Cjr.file Print.printer 36 val p_sql : CjrEnv.env -> Cjr.file Print.printer
37 37
38 val debug : bool ref 38 val debug : bool ref
39
40 val timeout : int ref
41 end 39 end