let access = label "access" . store /[+-]/

let access_entry = [ label "user" . [ label "username" . store Rx.word ] . Sep.space . [ label "access" . store /(readonly|readwrite)/i ] . Util.eol ]

let address = [ label "address" . store ipaddr_or_hostname ]

let address_re = Rx.ip | /\*/ | Rx.hostname

let admin = [ label "admin" . store word ]

let admin_list = Build.opt_list admin comma

let alias = let modulename = [ label "modulename" . sto_no_spaces ] in Build.key_value_line_comment "alias" sep_space (sto_no_spaces . sep_space . modulename) comment

let alias = [ label "alias" . store word_re ]

let alias = user_alias | runas_alias | host_alias | cmnd_alias

let alias_entry (kw:string) (field:string) (sto:lens) = [ indent . key kw . sep_cont . alias_entry_single field sto . ( sep_col . alias_entry_single field sto )* . comment_or_eol ]

let alias_entry_single (field:string) (sto:lens) = [ label "alias" . alias_name . sep_eq . alias_list field sto ]

let alias_field (kw:string) (sto:lens) = [ label kw . sto ]

let alias_list (kw:string) (sto:lens) = Build.opt_list (alias_field kw sto) sep_com

let alias_name = [ label "name" . store /[A-Z][A-Z0-9_]*/ ]

let all_flags = Build.flag_line flags

let any = let body = store /[^\n]*/ in do_quote body

let any = [ label "any" . Quote.any ]

let any_opt = let body = store any_opt_re in do_quote_opt body

let any_opt = [ label "any_opt" . Quote.any_opt ]

let apid = let codec = [ arroba . label "codec" . store Rx.integer ] in let options = equal . ( (langs . codec?) | codec ) in let apid_entry (lbl:string) = [ label lbl . store Rx.integer . options? ] in Build.opt_list (apid_entry "apid") comma . ( semicol . Build.opt_list (apid_entry "apid_dolby") comma )?

let application (name:regexp) (parameter:lens) = list name parameter

let arroba = Util.del_str "@"

let attr_changetype (t:regexp) = key /changeType/i . sep_colon . store t . eol

let attr_description = key attr_type . attr_option*

let attr_dn = del /dn/i "dn" . ( attr_safe_string | attr_base64_string ) . eol

let attr_dn_value (k:regexp) = [ key k . ( attr_safe_string | attr_base64_string ) . eol ]

let attr_include = eol . [ key "include" . sep_colon . store /[^ \t\n][^\n]*/ . eol . comment* . eol ]

let attr_modspec = key /add|delete|replace/ . sep_colon . store attr_type . attr_option* . eol

let attr_option = Util.del_str ";" . [ label "@option" . store /[a-zA-Z0-9-]+/ ]

let attr_type = ldapoid_re | /[a-zA-Z][a-zA-Z0-9-]*/ - /dn/i - /changeType/i - /include/i

let attr_val_spec = [ attr_description . ( attr_safe_string | attr_base64_string | attr_url_string ) . eol ]

let attr_version = Build.key_value_line "version" sep_colon (store /[0-9]+/)

let auth = [ Util.indent . Build.xchg /auth(enticated)?/ "auth" "auth" . Sep.space . store /yes|no|on|off|any/ . Util.comment_or_eol ]

let authorized_key = [ label "key" . (key_options . Sep.space)? . key_type . Sep.space . store Rx.no_spaces . (Sep.space . key_comment)? . Util.eol ]

let bare = store Rx.word

let bcast = [ Util.indent . key "broadcast" . space . [ label "interval" . store integer ] . space . store_address . ( space . [ label "port" . store integer] | eol) ]

let blacklist = Build.key_value_line_comment "blacklist" sep_space sto_no_spaces comment

let block (entry:lens) = block_setdelim entry block_ldelim_re block_rdelim_re block_ldelim_default block_rdelim_default

let rec block = [ indent . key block_names . (Sep.space . Quote.do_dquote_opt (store /[\/A-Za-z0-9_-]+/))? . block_newlines (entry|block|mailbox) comment . eol ]

let block (kw:regexp) (sto:lens) = lens_block (key kw) sto

let block (entry : lens) = [ Util.indent . block_head . Build.block_newlines entry Util.comment . Util.eol ]

let block = Build.block block_entry

let block_entry = Build.key_value "test" Sep.equal (store Rx.word)

let block_generic (entry:lens) (entry_noindent:lens) (entry_noeol:lens) (entry_noindent_noeol:lens) (comment:lens) (comment_noindent:lens) (ldelim_re:regexp) (rdelim_re:regexp) (ldelim_default:string) (rdelim_default:string) = let block_single = entry_noindent_noeol | comment_noindent in let block_start = entry_noindent | comment_noindent in let block_middle = (entry | comment)* in let block_end = entry_noeol | comment in del ldelim_re ldelim_default . ( ( block_start . block_middle . block_end ) | block_single ) . del rdelim_re rdelim_default

let block_newlines (entry:lens) (comment:lens) = del block_ldelim_newlines_re block_ldelim_newlines_default . ((entry | comment) . (Util.empty | entry | comment)*)? . del block_rdelim_newlines_re block_rdelim_newlines_default

let block_newlines_spc (entry:lens) (comment:lens) = del (/[ \t\n]/ . block_ldelim_newlines_re) block_ldelim_newlines_default . ((entry | comment) . (Util.empty | entry | comment)*)? . del block_rdelim_newlines_re block_rdelim_newlines_default

let body (attr:lens) = Build.block_newlines_spc (indent . attr . Util.eol) Util.comment

let bool (kw:regexp) = Build.key_value_line kw Sep.space sto_bool

let bool = [ key "PRUNE_BIND_MOUNTS" . Sep.space_equal . Quote.do_dquote (store /[01]|no|yes/) . Util.doseol ]

let bool_warn (kw:regexp) = Build.key_value_line kw Sep.space sto_bool_warn

let boolean = store /true|false/

let boot = let image = [ label "image" . store fspath ] in let arg = [ label "arg" . store word ] in Build.key_value_line "boot" space (image . space . arg)

let boot = let line = ((boot_setting|comment)* . boot_setting)? in [ label "title" . title . line ]

let boot_setting = let boot_arg_re = "root" | "initrd" | "rootnoverify" | "uuid" | "findroot" | "bootfs" (* Solaris extensions *) in kw_boot_arg boot_arg_re | kernel | chainloader | kw_pres "quiet" (* Seems to be a Ubuntu extension *) | savedefault | configfile | module_line | map_line | kw_pres "lock" | kw_pres "makeactive" | password_arg

let brackets (l:lens) (r:lens) (lns:lens) = l . lns . r

let brackets = [ Build.brackets Sep.lbracket Sep.rbracket (key Rx.word) ]

let by = [ key "by" . Sep.space . ( store ("anybody"|"unsigned") | by_key ) ]

let by_key = let any_key = [ store "any" . Sep.space . key "key" ] in let named_key = [ key "key" . Sep.space . store (Rx.word - "any") ] in value "key" . (any_key | named_key)