Lines Matching defs:bind
15 type monadinfo = { bind : term,
26 fun toSexp {bind,ignorebind,unit,fail,choice,guard} =
27 List [Term bind, Option (Option.map Term ignorebind),
36 List [Term bind, Option ign_opt, Term unit, Option failopt,
38 {bind = bind, ignorebind = determOpt ign_opt, unit = unit,
358 val {bind,ignorebind,unit,fail,choice,guard} = getMI fname s
360 ovl ("monad_bind", bind) ;
362 case ignorebind of NONE => mk_unitbind bind | SOME ib => ib);
371 val {bind,ignorebind,unit,fail,choice,guard} = getMI fname s
373 rmovl "monad_bind" bind;
375 (case ignorebind of NONE => mk_unitbind bind | SOME ib => ib);
447 { bind = prim_mk_const {Name = "OPTION_BIND", Thy = "option"},