Module("term/placeholder",[Strategies([SDefNoArgs("get-placeholder",Seq(Match(Var("t")),Prim("\"SSL_getPlaceholder\"",[Var("t")]))),SDefNoArgs("make-placeholder",Seq(Match(Var("t")),Prim("\"SSL_makePlaceholder\"",[Var("t")]))),SDefNoArgs("is-placeholder",Seq(Match(Var("t")),Prim("\"SSL_isPlaceholder\"",[Var("t")])))])])
