Lines Matching defs:params
525 fun is_mllambda (mlpair(mlpair(x,mlpair(params,mlpair(bdy,n))),args)) =
527 is_mlsexp_list params andalso
540 fun dest_mllambda (mlpair(mlpair(_,mlpair(params,mlpair(bdy,_))),args)) =
541 (dest_mlsexp_list params, bdy, dest_mlsexp_list args)
574 (mlpair(x,mlpair(mlsym(_,_),mlpair(params,mlpair(bdy,n))))) =
576 is_mlsexp_list params andalso
587 of [_,nam,params,bdy]
588 => (nam, dest_mlsexp_list params, bdy)
596 fun mk_mldefun (nam, params, bdy) =
597 mk_mlsexp_list [mldefun, nam, mk_mlsexp_list params, bdy];
608 (params,
613 is_mlsexp_list params andalso
630 of [_,nam,params,quant_bdy]
633 => (nam, dest_mlsexp_list params,
647 fun mk_mldefun_sk (nam, params, quant, qvars, bdy) =
649 [mldefun_sk, nam, mk_mlsexp_list params,
1003 val params = (flatten o map strip_pair) param_tuples
1005 if not(length params = length args)
1012 mk_mlsexp_list(map term_to_mlsexp params),
1044 let val (params,bdy) = strip_abs opr
1046 if not(length params = length args)
1053 mk_mlsexp_list(map term_to_mlsexp params),
1360 then let val (params,bdy,args) = dest_mllambda p
1363 (list_mk_fun(map param_to_var params, mlsexp_to_term bdy),
1389 then let val (sym, params, bdy) = dest_mldefun d
1394 (map mlsym_to_string params)
1440 val (params,bdy) = strip_abs opr
1443 (zip params args)
1445 ^(mk_pabs(list_mk_pair params,bdy))
1858 let val (nam,params,bdy) = dest_mldefun d
1859 val param_vars = map param_to_var params
1879 let val (nam,params,quant,qvars,bdy) = dest_mldefun_sk d
1880 val param_vars = map param_to_var params